Tuple decomposition doesn't work well in the Lean backend

[sonmarcho]

If we write:

let (x, y) := ...
f x y

the definition often gets desugared to something of the shape:

let __discr := ...
f __discr.1 __discr.2

This can be quite confusing.