immutable type bool;

constant bool TRUE;
constant bool FALSE;