CuMin: Disallow same variables on LHS of binding.

f x x = ... is now rejected.
Merge branch 'master' of https://github.com/fatho/ba-funlogic-common