Title: Lectures on the principal types of the Old Testament