Support Context Checking

[DavePearce]

This compiler phase must check, in certain situations, that compatible contexts are used. For example, a vanishing constraint can only refer to a single context. Similarly, lookup constraints have two contexts: one for the sources and one for the targets.