Almost fixed GHCi and improved the type printed in error messages.

Some expressions still get a wrong type inferred in GHCi.