began type checking file