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