pbt 0.4.2

Property-based testing with `derive` macros, aware of mutual induction & instantiability.
Documentation