fix `unify-with-pmap*` implementation
LOGIC-132: "PMap is non-storable" exception when using featurec with
nested feature map.

The recursive `featurec` support was a bit naive. `unify-with-pmap*`
nows handles the various cases properly.
bump nrepl
update pom.xml
Update membero to use disequality constraints. This can break code that depends upon what is considered a flaw in the previous version.

Before: (run* [q] (membero q [1 1 1])) ;; => '(1 1 1)
 After: (run* [q] (membero q [1 1 1])) ;; => '(1)
Improved docstrings for lvaro and nonlvaro. Fixes LOGIC-131.
Never wrap first item to Choice in a list. Fixes LOGIC-134.
`membero` disequality change significantly slowed down its
performance. Instead revert `membero` and provide a new goal
`member1o` that uses disequality.
ammend `conso` docstring
update readme