Started a second intermediate language

For getting rid of constructor environments.