Handle sets correctly

Description

Currently unify allows using sets as expressions and just uses them as sequences, which, depending on the order of items, causes the unification to fail or succeed:

Unify should either handle sets (not sure if the algorithm allows for that easily) or throw an IllegalArgumentException when passed a set, but not silently seq it and behave unpredictably like that.

Environment

unify 0.5.5

Assignee

Fogus

Reporter

import

Labels

None

Approval

None

Patch

None

Priority

Minor
Configure