פימנטל יצחק, מחבר מילון