Hack in support for computing imperative expression types of unary builtins
Hack in support for computing imperative expression types of unary builtins

by not requiring the type of the inputs of a builtin to be a tuple.

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang