Fix the problem with v3a by adding an Eq test for IVars, making them idempotent.  This creates tension because it breaks the Par* instances.  v3c still has problems.