how about removing alpha attribute names when they are obvious?

[yegor256]

Now, I have to write this (in a phi expression, after #3571):

x ↦ Φ.foo (
  α0 ↦ "hello, world...",
  α1 ↦ 4,
  α2 ↦ 1
)

How about this instead:

x ↦ Φ.foo ("hello, world...", 4, 1)

Alpha attributes are obvious in this case and can easily be inferred from the expression, when we translate it to XMIR.

[yegor256]

@maxonfjvipon WDYT?