Add role-checking ASSERT to mkCast
Remove unused liftTcCoSubstWith