Use ExceptT instead of ErrorT

TypeInf requires mtl-2.2.1
Improve repl (error handling) in TypeInf

Repl does not stop if error occurs
Update README.md

TypeInf depends on mtl-2.2.1