Msg
type Ident
data Operator
data Msg
type Theory