fix positive integer generator to not generate zero
add random generation for polymorphic contracts