Add simple QuickCheck instances, Arbitrary class
Add 2 Quickchecks for TwoD.Arc