frege-repl-3 Support for documentation, show Java translation