Refactor _check_sym_sanity()
Refactor _check_sym_sanity()

Arrange by type, which works pretty neatly except for the pesky ranges
check. This also makes us do less work in the common BOOL/TRISTATE case.

Get rid of _check_select_imply_sanity().

ulfalizer/Kconfiglib,ulfalizer/Kconfiglib