Bug in clause unification!

Clause unification uses "pairwiseChunk" - this is ridiculous - and leads to an error. for example this will pass the type checker:
```
foo() -> 1.0;
foo() -> 1.0;
foo() -> true;
foo() -> false.
```
Instead, it should make a "chain" of unification constraints..