go multi-level for const pair keys, too
debug
sensible test output
missing subst case for !=