v+ and v- are now mere aliases for core.logic's nonlvaro and lvaro
Small refactorings.
More extensive unit tests.