Get rid of: Fn, use `:` binary op instead. Call, use `` binary op instead. Editor that: Shows opstack, data stack and entry line that was reprinted, and a (partial?) current word, with caret control (jumping words). data stack can contain HUGE items like lists. Allow switching to opstack, data stack and editing there. Allow interactive removal and addition of words from the reprint, copying and pasting ? Addition has to have two modes: 1) don't care-mode which lets you insert words until it's eventually consistent. 2) insert a new operation. Different ways? Moving of blocks. Refactoring of blocks. Searching of words. Hilighting of word that IS ACTUALLY BOUND TO IT. Allow editing different "files" (or actual files), also allow jumping there directly. Debugger to see Thunk forcing. Unit tests?! (Interactive area) The interactive area would have to recursively call itself after each new statement/action. Current word editor: accept on space char or paren or switching from letters to funny chars. tab completion for identifiers that are in environment at that moment. Note that to the left of (:=) it would `wrongly' match existing identifiers.