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