Show types for ambiguous type variables in the REPL, too
Make showing types of ambiguous/no-show expressions customizable