Another fix in Type.rsc, thanks to the type checker.