Automated Iterative Synthesis on the Tech Tree