Fix Assignment expression
Fix Not expression
Add error messages
Remove unused imports
Remove unused functions
Add type declaration
Collapse some records
Remove S-Expression printing since my AST is different from the canonical