provexport: added type info to derivations