Add --type-only flag

Sometimes you just want an equivalent of :t in GHCi -- to get the
generalized type of something, like `show'. An easy way to achieve
this is to simply not evaluate and merely return the empty string for
the value, so that's what this flag does.