Explode `taxonomy.h` into many small headers

[mcy]

This is preparations for followups to introduce uniform handling of best::ptr, as described in the previous patch.

This change also renames many of the existing traits to use a uniform style.