محمدرضا باطنی، زبانشناس و فرهنگ‌نویس مشهور ایرانی در گذشت