- Integrate the Match and Pattern nodes into the AST - TODO: `let x: T` is ambiguous with `let x: {}`. Currently the latter takes precedence in the parser. - Implement pattern matching through unification in the interpreter. - It's not fast, but it works! - Refactor destructuring assignments to use the new pattern functionality