that it takes the substitution. In migrate we now verify any constraints that need verification. Change lvar unification so that we fail if we could not migrate the constraints.
fails if addc return a false-y value.
A few were of the form (is (= expr1) expr2), which always passes. Changed these to (is (= expr1 expr2)). Many had extraneous  after the deftest name. deftest does not have arguments like defn or defmacro. These were harmless. The only strange behavior they caused was to evaluate an empty vector for those tests, and then go on to the tests in the deftest. However, it does seem best to remove them.
+ Several misplaced doc strings. + Several deftest names that were identical in the same namespace, causing the earlier one's tests never to be run. + Some missing (is ...) wrappers around unit tests (caught by linter because the first one's return value was discarded).
make featurec more relation, feature map no longer need be ground. Cleanup featurec reification a bit. Needed to walk the value in the other map in unify-with-pmap*. Add test
be bound to y