Performance boost for type manipulation. Add cases for constant-type.

RClass does not maintain scope for replacements or unchecked-ancestors.
Makes a big difference with the clojure.core.typed.test.union example.
Still pretty slow though.