Remove syntax-map.
Remove unused code.
Cleanup flonum-op check, and contract fixups.
Cleanup some syntax->list uses in the optimizer.
Use stx-list? instead of syntax->list.
Make printing complex filters not be on by default.
Add test for duplicate annotations.
Fix documented type, and remove unnecessary or.
Make tc-toplevel always return a list.
Remove unused feature.
Remove unused code.
Make TR's lambda not do datum->syntax.
Remove duplication of type-variable duplicate detection.
Reduce duplication in construction of syntax-infos.
Make tc-app-object use a real dictionary.
Cleanup tc-app-objects a bit.
Remove unnecessary loop in tc-app-objects.