This seems like it would make a brilliant extension for literate programming; a self documenting REPL paired with literate source! And, of course, trivially opt

This seems like it would make a brilliant extension for literate programming; a self documenting REPL paired with literate source! And, of course, trivially optimized out of necessary.