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.
We do not really need to check this here, if we let it fall through, we will either get a type, if we have one or the unknown type. having the type of import with value side named as "typeof import" is consistent with other places.