Text this: Jewish typological exegesis after Nahmanides