   ]
 
 builtInDefinitions = ->
-  newMapWith 'True', (type: (quantifyAll toConstrained boolType), arity: []),
+  definitions = newMapWith 'True', (type: (quantifyAll toConstrained boolType), arity: []),
       'False', (type: (quantifyAll toConstrained boolType), arity: [])
       '==', (
         type: (quantifyAll toConstrained (typeFn (atomicType 'a', star), (atomicType 'a', star), boolType)),

      'is-null-or-undefined', (
        type: (quantifyAll toConstrained (typeFn (atomicType 'a', star), boolType)),
        arity: ['x'])

# Set/Map implementation


  definitions = (join (importImplicit ctx), (topLevel ctx, form))
  shouldBeExported = (name, declaration) ->
    # Exporting all to allow for private members to be imported by submodules
    #        and declaration.exported
    not declaration.virtual and
      (not declaration.injected or declaration.exported) and
      declaration.final
  # TODO: separate exporting namespaces according to the separation of namespaces
  exported = filterMap shouldBeExported, ctx._scope()
  # deprecated submodules:
  #    concatSets exported, (filterMap isExported, ctx.submodules)
  # isExported = (name, exported) -> exported
  exportList = map validIdentifier, (setToArray exported)
  exportDictionary = (jsDictionary exportList, exportList)
  {definitions, exportDictionary}
