Create initial environments for the type system and semantics.