Parsing (what syntax do people like for the IR? I used a prefix function notation like +(x, y) but this doesn't necessarily fit well with the syntax of the rest of the IR)
Type checking
Marked as Draft until I implement Juno code-gen for dynamic constant math.