Added Arbitrary instances and Test Suite.