Make Pred a type synonym of Type (issue #7021)