main: refactor :trans, and move to ddc-build package
tools: refactor :load vs :trans. Now :trans takes both modules and exps, and :load does not simplify