make pretty_catch_type actually pretty
JavaExceptionInfo tests
explain pretty