Upgrade parser

[wires]

The parser that @epost wrote is currently able to work with expressions such as

+ Unit * Unit Void

We probably want to move this into some sort of s-expression and turn it into something usable.

• decide on syntax
• write some example expressions
• make the parser produce the actual AST type instead of the experimental one
• upgrade parser and merge into main