editor: working on authoring derivations