property based checking using either
Dual generators added
fixed the choose with positively only and implemented listOfN
option added
choose wit double added