exporting things from prooftree.js