failwith should support arbitrary types
Currently the compiler complains with
Failwith with disallowed type: Expected arguments with one of the following combinations of types: failwith(string) or failwith(nat) or failwith(int) but got this combination instead: failwith(
( nat *
nat ))
for instance