Mayor Andrés, Consuelo, Instituto de Lexicografía de la Real Academia Española