Changed show instance print applications better.
hlint fix.
Added eval counterparts to runTI and runTIVar and changed things so that the run... functions return the state and the eval functions only return the value of the TypeInference module. This corresponds to monad conventions.