fix: arbitrary rule for RNumber now creates Doubles, not Integers
shrink rules for all Arbitrary instances in Test
QuickCheck properties (all failing.  quickcheck is awesome :)
...