disco-0.1.6: test/types-357/input

f : Z -> N
f(n) = 2n

sumto : N -> N
sumto(n) = (n^2 + n)*(0.5)