Remove getEqRolePredTys, not needed after all