disco-0.2: test/types-syntax/input

(2,3) : N * Z
(2,3) : N × Z
(2,3) : N >< Z
left(4) : N + Z
left(4) : N ⊎ Z
(\x. x) : Z -> Z
(\x. x) : Z → Z