I believe the intention behind isolatedModules is to make compilation faster by forcing you to define types that require no inference from other files (thus, be

I believe the intention behind isolatedModules is to make compilation faster by forcing you to define types that require no inference from other files (thus, being isolated). Not… whatever this is.