Add annot file for type checking