only one .merlin file now
more quickCheck tests, for unification and CNF