   mapKeys lookupDefinitions, moduleSet
 
 contextWithDependencies = (modules) ->
-  ctx: injectedContext modules, yes
+  ctx: (injectedContext modules, yes)
   modules: setToArray modules
 
 moduleDependencies = (moduleName) ->

callJsMethodCompile = (ctx, call) ->
  [dotMethod, object, args...] = _validTerms call
  labelOperator dotMethod
  call.tea = toConstrained markOrigin jsType, call
  assignCompile ctx, call,
    if object
      if /^.-/.test dotMethod.symbol
        (jsAccess (termCompile ctx, object), dotMethod.symbol[2...])

  finalType = type#substitute ctx.substitution, type
  # allConstraints = (addConstraintsFrom ctx,
  #   {type, name: reference?.name, scopeIndex: reference?.scopeIndex}, finalType).constraints

  # this is done because of bare definitons and deferred types, which dont have all constraints when compiled
  reducedConstraints =
    if reference
      constraintsFromReference ctx, {type, name: reference.name, scopeIndex: reference.scopeIndex}
