disco-0.2: test/prop-type/expected

∃x : ℤ. x > 3 : Prop
∃x : ℚ. x > 3 : Prop
∃x : ℕ, y : ℕ. x > y : Prop
∃x : ℕ. ∃y : ℕ. x > y : Prop
∀x : ℕ, y : ℕ, z : ℕ. x + y + z == x + (y + z) : Prop
∃x : ℕ. ∀y : ℕ. x <= y : Prop
not(∀x : Bool. T \/ x) : Prop
(∀x : Void. F) /\ T : Prop
(∀x : Void. F) \/ T : Prop