Separate type-checking from source tree