TKsemicolon :: Token  -- data constructor