Rename TermContext to GlobalContext

The TermContext is actually the evolving (non-revertible) global context.