A general purpose projectional editor.