Add new Show instances, and misc further improvements for REPL development

This comes closer to allowing to typecheck new terms in the REPL, depending on some module.