make showing something implicit

In tutorial, a lot of example needs :showexpr to see results.
But in ghci, there is no need to type show. You just type it and it will show what it is.

Sometimes, I just want to try some ideas to see if it is what I think.
relations, atoms, relational expressions and function applications are something I want to see the results immediately.

It may help people trying things in tutd.