Exploring Rantly by trying to implement QuickCheck examples from 'An introduction to QuickCheck with number theory and red black trees'