Develop format labels into a defined language with a proper parser

[gmbecker]

To avoid combinatorial explosion of labels.

This will support, e.g., significant digits based formats.

[Melkiades]

This is somehow related to format_xx in {tern}. We can keep this for the future, but that is a nice starting point