reltester 2.0.0

Automatically verify the correctness of [Partial]Eq/Ord implementations
Documentation