Fixed outdated comment.
Add explicit Num and Enum instances for NonNegative, NonZero and Positive.