bool constants
Boolean values are supported by the standard library features true
and false.
There is no special compiler support for booleans. Instead
true and false are implemented using Choice Types
like this:
bool : choice false_ true_ istrue bool => false_false bool => true_