Fixup deprecation symbol reporting
Sharpen interfaces. Document. Pre-empt review comments.