Add positiveInteger XSD type