Clarify distinction between unify, Task, and And, and Equals -- merge concepts if possible #16
Description
This will likely lead to allowing more than one nonPredicate in a conjunction
{{ message }}
This will likely lead to allowing more than one nonPredicate in a conjunction