Multiple files

Allows type checking multiple files at once (faster).

I've implemented it for check and expand; probably the other options could benefit from this as well.