reltester 1.0.0

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