Fixed up rc.cup re: creating Types