disco-0.2: test/error-unbound/input

even : Z -> Bool
even(2)
foo : N
foo = 3
fo + 1
ofo + 1
for + 1
oof + 1
Foo + 1