Add tests for unifier with `defc` constraint.
Add `constraint` macro that defines anonymous constraints suitable for use with the unifier's :when map.

The `defc` macro now defers to this macro.