Remove difftool file
Merge remote-tracking branch 'upstream/master' into working
Cleanup and add test
Add notes for subtyping and continue work on subtyping.
Update type_declaration_problem.md
Escape carets
Merge remote-tracking branch 'upstream/working' into working
Replace carets
Fix test
Add new parser to move out creation of methods and typedef logic
Add new files for reworked typechecker
Update gitignore
Lay out types for new typechecker
Add notes on approach
Annotate types for ast structs in astR.rkt and get rid of magic
Restart typechecker and move old work into notes file.
Start work on new typed typechecker
Make the lexer recognize decimal point numbers
Refactor grace-type in ast
Add more type annotations and add type defs and type env stacks