Show JSON in toJSON sample
Refine REPL for toJSON example
Add some more design notes from the old readme