add more generators

This commit adds strictly positive/negative integers (so they can't
be equal to 0) and an optional parameter to vector so it's length
can be provided explicitly.
refine s-pos-int and vector generators
fix bounds on vector generator
Merge pull request #18 from si14/master

More generators