replace auto-named-attr-at-XX-XX with αX

[yegor256]

Currently, we give names to anonymous objects:

[] > foo
  [] >>
    42 > @

The name given will be: auto-named-attr-at-XX-XX. This is too long. Let's name them α5, α6, etc., where the index is the total count of attributes in the object plus 1.

[yegor256]

@maxonfjvipon please, help

[maxonfjvipon]

@yegor256 how about that?

[] > foo
  [] >>
    42 > @
  [] >>
    42 > @

Here foo would have two a2 attributes

[yegor256]

@maxonfjvipon obviously, in this case we name them α1 and α2

[maxonfjvipon]

@yegor256 how to convert such objects to phi?

EO:
[] > foo
  [] >>
    42 > @

OR:
[] > foo
  [] > α1
    42 > @

PHI:
[
  foo -> [
    α1 -> [
      @ -> 42
    ]
  ]
]

Such PHI expression is not valid since we've prohibited bindings with α in formation