Changes to typeWriter and type baselines

This PR is not to be merged in wholesale. I am just documenting the changes I've made in this branch to compare the type baselines with the old compiler's type baselines. The changes were in the service of making the new baselines and old baselines look as similar as possible. The idea is to pick and choose the changes we actually want to port to master. Various smaller / more nuanced differences were captured in the form of bugs with the prefix [typeBaselines]. The majority of the changes ported should be source changes, but a few test changes may be ported as well.
I would remove this condition