sacrificial types of the Old Testament, and from the successive ages of Christian