Will has the details, and can fill this out more. There is a tremendous peformance gain when we don't typecheck implementation files that are not open.