Add solver with heterogeneous equality...

...and also make use of --checkMetaVarConsistency.

Note that the heterogeneous solver is different from the TwoContexts
one -- look at how comparing two Pis is handled.