misc cleanups to graphing code so sizing is easier and
change the labels in the legends
Make Bottom not a special case for tc-any-results.
Remove unused clause arguments in tc-let-unit.
Make let correctly implement the TC-Let rule from the paper.
Add smart constructors for Result and tc-result.
Use filters when typechecking using tc-body.