       if instanceContraints
         toNormalize.push instanceContraints...
       else
-        console.log constraint
         return error: instanceLookupFailed constraint
       after = subLimit ctx.substitution
       # There was a functional dependency, renormalize


findDeps = (ctx) -> (names) ->
  auxiliaries = ctx.auxiliaries()
  arrayToSet reverse join names, auxiliaryDependencies auxiliaries, names

auxiliaryDependencies = (graph, names) ->
  concat (for name in names
    join (deps = ((lookupInMap graph, name)?.deps or [])),
      auxiliaryDependencies graph, deps)

ms.syntax = ms_syntax = (ctx, call) ->
  hasName = requireName ctx, 'Name required to declare a new syntax macro'

          nameCompile) ctx, atom, symbol
  if type
    atom.tea = mapOrigin type, atom
  atom.id = id if id?
  atom.scope = ctx.currentScopeIndex()
  if ctx.isOperator()
