disco-0.2: test/repl-proptest/input

:test not false
:test {1, 2} == {2, 1}
:test exists a : Bool, b : Bool. (a and b) == (a or b)
:test forall a : Bool, b : Bool. (a and b) == (a or b)