No need to check in types for uniqueness
No need to check LHS for unique usage

Any duplication will be enforced by unification, and won't lead to
sharing itself (does suggest the function will be hard to apply in
interesting contexts though...)
Merge pull request #1495 from edwinb/unique

Uniqueness changes