Add `fnc` macro that defines anonymous constraints suitable for use with the unifier's :when map, rename `defc` to `defnc` for consistency.