Support positional arguments

[deemp]

There are $\alpha$-bindings instead of normal names in generated PHI programs. eoc can't statically generate correct names for arguments.

Program used in this example is available in this artefact

pipeline/phi/as-phi-tests.phi:

{
  ⟦
    org ↦ ⟦
      eolang ↦ ⟦
        prints-itself ↦ ⟦
          φ ↦ Φ.org.eolang.as-phi(
            α0 ↦ ξ
          ).length.gt(
            α0 ↦ Φ.org.eolang.int(
              α0 ↦ Φ.org.eolang.bytes(
                Δ ⤍ 00-00-00-00-00-00-00-00
              )
            )
          )
        ⟧,
        ...
        λ ⤍ Package
      ⟧,
      λ ⤍ Package
    ⟧
  ⟧
}

[fizruk]

We currently support up to 3 positional arguments, but we do not have a general support for arbitrarily many positional arguments.