Move the scalar types out of static data so that we can put `Rc` into sty.
Convert to use `Rc<TraitRef>` in object types (finally!).
Integrate projection bounds to `ExistentialBounds` but do not use them for anything.