disco-0.1.0.0: example/prop.disco

!!! ∀ x : N, y : N. plus x y == plus y x
plus : N -> N -> N
plus x y = x + y