This issue supersedes #4446 Instead of `fake`, implement `proptest` strategies for common types and include example tests.