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