Vectorise.Env
data Scope a b
data LocalEnv
emptyLocalEnv
data GlobalEnv
initGlobalEnv
extendImportedVarsEnv
extendFamEnv
setPAFunsEnv
setPRFunsEnv
modVectInfo