pub fn check_file(file: &Path) -> Result<(TypeEnv, Option<Type>)>
Type check did file including the imports.