   ]
 
 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)),

  macros = objectToMap ms
  for name, macro of values macros
    macro.final = yes
  macros



      'is-null-or-undefined', (
        type: (quantifyAll toConstrained (typeFn (atomicType 'a', star), boolType)),
        arity: ['x'])
  for name, definition of values definitions
    definition.final = yes
    definition.injected = yes
  definitions

# Set/Map implementation

