Replace S-Expression printing with derived show
Organize pattern matches chronologically
Create a new SSACompiler which compiles the typed AST
Run a diff when comparing SSA output
Do some hlint suggestions
Remove old SSACompiler, TypeChecker, and ref-based RegisterAllocator
Drop "Typed" and "AST" from the SSACompiler and TypeChecker
Unused import
Merge ASTUntyped with AST
Factor out SSA types into a different module
Unused import
Only store variable name
Unparameterize SSA
Fix incorrectly named Variable to Parameter, drop name, add type synonyms to reduce confusion
Group statements