syntax sugar is not used: ξ is not skipped when it can be

[yegor256]

This code:

φ ↦ Φ̇.try(ξ.body(ξ.token)),

Maybe written shorter:

φ ↦ Φ̇.try(body(token)),

Every time we see ξ.name, it can be replaced with just name.

[yegor256]

@maxonfjvipon please, help here

[maxonfjvipon]

@yegor256 I think it may be skipped everywhere it's used, because expression in PHI may start only either with Ф or with ξ.

[yegor256]

@maxonfjvipon yes, agree