Simple expressions defined recursively.
Started as a Knuth-Bendix implementation attempt, but translating the functional style to Rust was too hard.