 nameTranslate = (ctx, atom, symbol, type) ->
   id = ctx.declarationId symbol
   arity = ctx.arity symbol
+  ctx.addToUsedNames symbol
   translation =
     if atom.label is 'const'
       switch symbol

  addToDefinedNames: (binding) ->
    @_currentDefinition()?.definedNames?.push binding

  definedNames: ->
    @_currentDefinition()?.definedNames ? []

  deferredNames: ->
    @_definition().deferredBindings


  _currentDefinition: ->
    @_scope().definition

  _currentDeferrableDefinition: ->
    (def = @_scope().definition) and def.deferrable and def

  _definition: ->
    @_definitionAtScope @scopes.length - 1
