Revert "Implement smarter case pretty-printer. Resolves #165."

This reverts commit 86e201abf6b7591de14e79cfbed0e58bc2d34cd7.

Too many bugs. Will continue development on a separate branch.