Vectorise.Type.Env
vectTypeEnv