More caching changes to improve type check performance
Fold more type check infrastructure into type resolution (in preparation for removing pullTypeChecker.ts)