- Added Array to built-in generators (this is done by extending the Arbitray and Shrinker object with the necessary logic). 

- Added some commented code that might be useful in future in ForallInjection class