Make sure all implementations of the traits have the same behavior

[apollo-sturdy]

Checked and there are some minor differences, but those are likely unavoidable, so instead I tried to document them as well as possible in the doc comments of the traits.