Expand package to accomodate constraint and domain stores
Substitutions can be map or association list
Unify returns list of newly added substitutions
Wire up for CLP
Implement CLP Tree
Add some common relations in CLP(Tree)
µ-reference was pointless
Update readme