Morte.Core
data Var
data Const
data Path
data X
data Expr a
data Context a
typeWith
typeOf
normalize
shift
subst
pretty
buildExpr
buildExprASCII
data TypeError
data TypeMessage