Proposal to The Advanced Research Projects Agency For Continuation of The Heuristic Programming Project