Finalize a proposal for postquantum circuit-extension

There are a few ideas floating around the literature here, and some promising ideas. We should get at least one to have a proposal number by some time in December, I hope.