Initialization tracking.
Since the context no longer does this, no changes to it persist, and thus
it is no longer an output of typing judgments.