NamedVariables
type
IVar
type
UserDef
type
SymEnv
getVars
numVars
fixCoercions