No RCls

This branch removes the `RCls` alternative from liquidTypes, so that we stick closer to ghc's Type Representation.