REPL: Nicer output for lambdas
Update README TODO and notes