Vectorise.Env
data Scope a b
data LocalEnv
emptyLocalEnv
data GlobalEnv
initGlobalEnv
extendImportedVarsEnv
extendScalars
setFamInstEnv
extendTyConsEnv
extendDataConsEnv
extendPAFunsEnv
setPRFunsEnv
setBoxedTyConsEnv
updVectInfo