The Exodus in Type and Antitype