Types
trace
traceIgnore
traceWarning
traceError
errorMsg
errorMsgDecl
data Decl
data Arg
data Type
data Strategy
data CBaseType
argName
data Def
data DefType