Trait definitions.
These are each in their own module so we can also define tests for the core types they’re impl’d on in the same module.