Traits

Wrapping (modular) negation. Computes -self, wrapping around at the boundary of the type.