move translator/repl/proofs to end of build-sequence

it's possible that nothing in there is actually necessary at all