Separate compilation also enables easy parallelization of type checking.

You’re absolutely right. I realized this later but it was too late to edit the post.