Mida.Language.Environment
data MidaEnv m a
class HasEnv m
runMidaEnv
addDef
remDef
clearDefs
getPrin
getSrc
fullSrc
getRefs
purgeEnv
checkRecur