add boolean encodings

[Kacarott]

Probably can do without

[JohanWiltink]

You'd be defining True, False, not, and, or and possibly xor, implies ( with those, you'd have covered all possible cases up to not, flip ). All of those are trivial definitions which could collectively be an #import from a standard library in a compiler directive if and when we have both of those ( which we probably will ).

Focus on a #import compiler directive and a standard library, and this issue will go away by itself.