pbt 0.4.0

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