Add ConstructorEnv to the mix
Introduce Environment data types