רבי יום טוב ב"ר ישראל יעקב אלגזי, "מהרי"ט אלגזי"