 
 class KindFn
   constructor: (@from, @to) ->
+class TempKind
+  constructor: ->
 
 class TypeVariable
   constructor: (@name, @kind) ->

    else
      expanded
  finalKind = kind type
  if finalKind instanceof KindFn
    labelOperator atom
  else
    atom.label = 'typename'

      {name, kind} = dataType.op
    else
      {name, kind} = dataType
    if (lookupInMap @_scope().typeNames, name) instanceof TempKind
      removeFromMap @_scope().typeNames, name
    addToMap @_scope().typeNames, name, kind

  kindOfTypeName: (name) ->
