Refactor grace-type in ast
Add more type annotations and add type defs and type env stacks
Add test for boolean testing
Reinsert need to add newline at end of file. Fix later...
Add prefab option to ast nodes to pretty print in macro stepper
Add notes about fixing nested syntax structure issues