Add a more comprehensive type-syntax test

This is one of those tests where you list out your test cases and then generate a file with the transform output. It is nice for a few reasons:

1. Easy to add test cases
2. Easy to see changes to the output in diffs

This test helped identify a bug in return type annotation stripping, which I fixed. I also switched some of the transforms to use whitespace catchups to preserve column numbers.