LunarML: definice vlastních operátorů a pokročilý typový systém

Popíšeme si a vyzkoušíme dvě možná nejdůležitější vlastnosti jazyka Standard ML: pokročilou možnost definice vlastních operátorů s volitelnou asociativitou i prioritou a taktéž definici rekurzivních datových typů. Vzhledem k tomu, že překladač (resp. přesněji řečeno transpřekladač) LunarML, kterým se v této sérií článků zabýváme, je jednou z implementací programovacího jazyka Standard ML, bude možné dnešní článek založit právě na specifikaci Standard ML (což je mimochodem jeden z mála mainstreamových programovacích jazyků, které jsou formálně popsány a navíc i definovány tímto formálním popisem).