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