added OptModifierList handling to Type in rc.cup