vocabulary Boolean
  types Bool
  operators
    true, false: -> Bool
    ~__: Bool -> Bool
    __/\__, __\/__, __=>__, __<=>__: Bool, Bool -> Bool