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 is
• true bool => TRUE
• false bool => FALSE