Add quick ids for types.

Temporarily comment out tests for Extends unsoundness.
RClass, Protocols use TypeFn instead of Poly for parameters
Fix unsoundness wrt combining interfaces.