NamedVariables

type IVar

type UserDef

type SymEnv

getVars

numVars

fixCoercions