First-order Jumps and Constants

A typical first-order jump looks like

Cogen needs to know the destination of the jump in order to generate an extension for it (see jumps). Thus the code-pointer must be in the binding time. The lattice can be extended to include constants (though only constants that are code-pointers are needed for jumps, other constants come in handy):

BTs that are constants are called metastatic because when a specializer is self-applied they are static for the outer specializer (the one that is analyzing the inner specializer).

Formal ordering requires an additional rule:

Since metastatic values are incomparable, this doesn't introduce any infinite ascending chains.