Fail desugaring with cut on non-dual types
Fix some warnings and code tidy
Add some cut tests
Merge remote-tracking branch 'remotes/origin/uniques-dan' into uniques

Conflicts:
	Eval.hs
	LL.hs
	Uniques.hs