progress on #125, exporting derivations works now