Derivation implantation in the GUI #73
Description
The derivation engine works more or less (still needs to be adjusted a bit), but it needs to be implanted into the GUI still. We need a editor for derivation rules and a place to run derivation words from.