Clean up API and documentation, and make Clara more user-friendly from the REPL.