Terminology
===========

- *Base scope* is a set of built-in definitions that are always available. This includes types like ``int`` or ``void`` and operators like ``+`` (see ``base-scope`` in scope.rkt).
  Every scope inherits from the base scope, either directly or indirectly.
- *form database* is a hash table that collects definitions of form types