Move the scalar types out of static data so that we can put `Rc` into sty.
Implement associated type projection and normalization.
WIP -- equality constraints in where clauses are working
Convert to use `Rc<TraitRef>` in object types (finally!).
Integrate projection bounds to `ExistentialBounds` but do not use them for anything.
WIP fix various refs to mk_err etc