[rules-dev] syntax proposal for unification/binding