Show type of most recent expression in GHCi

[ozy]

Currently, any expression resulting in a value with no Show instance results in an error message. This is confusing for new users (especially if they don't yet understand typeclasses) and overly verbose for experienced users. Instead, the REPL should simply display the type of the expression, as if the user had used :t.

[igloo]

Thanks for the suggestion.