Moved the 'Hoist Type Decls' pass up because it establishes some (not as enforced) invariants about everything being reachable by ptrs.