Add RangeConstraint
Make it easier to inherit from KindConstraint
Fix erroneous spec description
Add positive integer shorthand to DSL