IL.Type
data Module
data Decl
data ConstrDecl
data Type
data Literal
data ConstrTerm
data Expression
data Eval
data Alt
data Binding