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