Improve comments on arithmetic type constructor and helper traits.