Lexicalization for proofing tools