Figured out how the %type thing works