disco-0.1.0.0: test/repl-proptest/expected

  - Test passed: not false
  - Test passed: {1, 2} =!= {2, 1}
  - Test passed: ∃a, b. (a and b) =!= (a or b)
    Found example:
      a = false
      b = false
  - Test result mismatch for: ∀a, b. (a and b) =!= (a or b)
    - Left side:  true
    - Right side: false
    Counterexample:
      a = false
      b = true