[
  Funcon   left-to-right   Alias l-to-r
  Funcon   sequential      Alias seq
  Funcon   effect
  Funcon   if-true-else    Alias if-else
  Funcon   while-true      Alias while
]

[
  Funcon   give
  Funcon   given
]

[
  Funcon   initialise-binding
  Funcon   bind-value         Alias bind
  Funcon   bound-value        Alias bound
  Funcon   scope
]

[
  Type     atoms
  Funcon   fresh-atom
]

[
  Funcon   initialise-storing
  Datatype variables                     Alias vars
  Funcon   allocate-initialised-variable Alias alloc-init
  Funcon   assign
  Funcon   assigned
]

[
  Funcon   handle-abrupt
]

[
  Funcon   finalise-failing
  Funcon   fail
  Funcon   checked
]

[
  Type   values           Alias vals
  Funcon is-value         Alias is-val
  Type   ground-values    Alias ground-vals
]

[
  Datatype booleans      Alias bools
  Funcon   true
  Funcon   false
]

[
  Type     integers                     Alias ints
  Type     natural-numbers              Alias nats
  Funcon   integer-add                  Alias int-add
  Funcon   integer-multiply             Alias int-mul
  Funcon   integer-divide               Alias int-div
  Funcon   integer-is-less-or-equal     Alias is-less-or-equal
  Funcon   decimal-natural              Alias decimal
]

[
  Datatype null-type
  Funcon   null-value Alias null
]

[
  Funcon   length
  Funcon   index
]

[
  Datatype lists
]

[
  Type     sets
  Funcon   is-in-set
  Funcon   is-subset
  Funcon   set-unite
  Funcon   set-intersect
  Funcon   set-difference
  Funcon   some-element
]

[
  Type     maps
  Funcon   map
  Funcon   map-lookup    Alias lookup
  Funcon   map-domain    Alias dom
  Funcon   map-override
  Funcon   map-unite
  Funcon   map-delete
]

[
  Type     abstractions
  Funcon   abstraction
  Funcon   closure
]

[
  Datatype thunks
  Funcon   thunk
]

[
  Datatype functions
  Funcon   function
  Funcon   apply
  Funcon   supply
]