bsplitC on same sorts with class subtyping.
Fix in addSubst.
Change TRU into Prop in prelude