Application with bindings by digits

[maxonfjvipon]

Let's extend our syntax by adding an ability to bind attributes by digits:

x y:0 z:1

a
  b:1
  c:0

It will add a bit flexibility to the language and also will help translate phi-calalsulus to xmir without extra temporary objects.
@yegor256 WDYT?

[maxonfjvipon]

I also suggest to prohibit binding by digits and names at the same time. For example it would be prohibited: x y:0 z:a. Only x y:0 z:1 or x y:a z:b are allowed

[0pdd]

@maxonfjvipon the puzzle #2670 is still not solved.

[0pdd]

@maxonfjvipon the only puzzle #2670 is solved here.