token-type distinction