Enhancements for property-based testing of higher-order properties. Associate types to their representations with the Constructible class. Testable' class, variant of Testable with an improved instance for (->). Representation of higher-order functions (via test-fun). Testable equality TestEq. Explicit testable type of Equation. See also README.