Added an aesthetic function for post-including in the REPL.

This should be the last commit for issue #7.