als persistente Datenstruktur (in Haskell, aber nicht nur dort)
effiziente Kompilation durch RULES (siehe Quelltext)