Create initial evironment.

This is the beginning of the migration away from type checking expressions as much as possible.