Updated sharpen property annotations in Lexer