More convenience functionality for interaction w/ editor
Rudimentary emacs mode for interacting w/ the repl. Can load a file and refine a hole.