Adds rejection-sampling test spec for lawn model.
Cleanup of various tests.
Switched order of argument lists of `fmap` and `bind` methods in `MonadPlus`