Boolean values are supported by the standard library features
There is no special compiler support for booleans. Instead
false are implemented using Choice Types
bool : choice FALSE TRUE is
true bool is TRUE
false bool is FALSE
You should not use uppercase
FALSE, since they typically result in wrong types when used for type inference.