More thoughts on the pitch side DPLL:
It's really a DLL (delay locked loop) with the ability to free-run, because the frequency of the output is always that of the input (but delayed 90 degrees when locked). In simulation and in reality it works better using just the integrated phase error term and without a proportional phase error term (fed to the loop filter). This is an unstable topology for a true PLL.
XOR phase detection is bit multiplication. XOR phase detectors only work correctly over a +/- 90 degree range, outside of which they give the wrong answer. While out walking today I thought of a way to extend the phase range to a full +/- 180 degrees. If the NCO is constructed so that it also has both in-phase and quadrature outputs (trivial) then these can be independently XOR mixed with the tank quadrature signal, with these two results XORed and fed to the loop filter. This gives something highly similar to a Costas loop which is used extensively in communications for demodulation purposes.
So phase lock should happen over a wider range. And perhaps as or more importantly there is 2x the opportunity to dither the NCO accumulator and therefore statistically expose this value to the outside world more frequently, increasing the precision of this value (when averaged over a given period of time).
It's great coming back to DPLLs after several years break because my thoughts have had time to settle (as well as go completely missing!) so I can approach them with a somewhat fresh viewpoint. Books and papers on the subject are often simultaneously too seat-of-the-pants and too theoretical - it's really more control theory than anything else. Here's a nice paper I found recently that approaches PLLs from that angle. In it the author states "The experts in PLLs tend to be electrical engineers with hardware design backgrounds" which I guess is why the books on them tend to be hodgepodges of circuit topologies, light math to calculate various figures of merit, and rules-of-thumb. Of all the courses I took in college, control theory has probably helped me more than anything else.