Disjoint constants should be fatal in unification

Fixes #1390