TestBadType
A bad type is signalled with an error:
-e
add
a
--e
check
sum
a