Handle while loops as expressions in ANF transform.

Append a `()`, as we do for `Unit` returning `if`-s and `try-s`

We don't currently support `await` in try/catch, otherwise I'd write tests for
that case, too.