Zaslat SMS: Jewish typological exegesis after Nahmanides