Added new primitive types

Namely
    positiveInteger
    nonPositiveInteger
    negativeInteger
    nonNegativeInteger

Fixes #427