instructions for {log} tests
Feature complete: Implement the missing cases, which have cross-constraint dependencies.

Also, cannot swap equals? before the non-empty-set? case in ==. I
suspect the equals? case might be problematic anyways, with vars
represented as vectors.