Add `toTH` auxiliary function to TH instantiator
Fix wrong instantiation of lambdas in `THInstantiator`
Non working crap commit
Fix result of `solve*` functions
Fix list equality in LPO
Merge branch 'master' into deriving-eq

Conflicts:
	CO4/Test/LPO.standalone.hs
Fix prelude and eq-deriving