Simplify the module importing code

[SquidDev]

This removes the notion of a "module scope" within the type checker. Instead of our funky scope extension code, we just do a standard union.

This fixes the following issues:

• Type classes not being available until the module is opened (#232)
• Type classes duplicating when opening a module.
• Type functions not merging equations on opens/imports.