type Bool is U8;
true : Bool
false : Bool
&& : (Bool, Bool) -> Bool
|| : (Bool, Bool) -> Bool
not : Bool -> Bool