[doctools, lazylex] Add type annotations, using pyannotate