Adding xml doc comments to 'ILexer'