Added in correct semantics for unknown values in boolean expressions
Created new files for the code for Selector values
Moved convenience output around
Changed exact numeric type to be signed
Allow Selector identifiers to also contain numerics and bools.