Printing: Interleaving search for notations and removal of coercions.

We renounce to the ad hoc rule preferring a notation w/o delimiter
for a term with coercions stripped over a notation for the
fully-applied terms with coercions not removed.

Instead, we interleave removal of coercions and search for notations:
we prefer a notation for the fully applied term, and, if not, try to
remove one coercion, and try again a notation for the remaining term,
and if not, try to remove the next coercion, etc.

Note: the flatten_application could be removed if prim_token were able
to apply on a prefix of an application node.

0 files changed, 0 insertions, 0 deletions