Improve deprecation of :+.() and friends
Split doctest structure from other kernel tests