Varela Villafranca, Diego, Instituto de Lexicografía de la Real Academia Española, España