Modification on simplifier
Merge branch 'master' of http://github.com/minmell/minihaskell

Conflicts:
	src/inference/constraintSimplifier.ml
Real code of simplifier? I don't know if it works
It doesn't work
Merge branch 'master' of http://github.com/minmell/minihaskell