(definition) @local.scope
(definition
  name: (identifier) @local.definition)
(labs) @local.scope
(pabs) @local.scope

(param_block
  param: (identifier)+ @local.definition)

(term
  (identifier) @local.reference)