Predef maintenance

This supersedes #1986. Predef maintenance. Deprecates things which merit deprecation; applies implicit value classes more consistently. Review by @retronym.