Add a Discard data type and a Testable instance for it that discards a test case.