Improve loadFile in Main.hs

Modification in loadFile
Add monad transformer ErrorT in TypeInf, Main

In progress...
Add error handling in TypeInf