Improve shrinking of floating-point and rational numbers.
Add Functor instances for the modifiers.