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 is TRUEfalse bool is FALSE
You should not use uppercase
TRUE
and FALSE, since they typically result in wrong types when
used for type inference.