Using QuickCheck for semantics---a lower-middle-class man's PLT Redex