This change adds rudimentary type binding to phase 2 of the binder. Note that we still don't have the notion of predefined types (for the primitives), so this basically rejects any well-formed Mufile. Primitives are on deck.