The typology of Scripture, or, The doctrine of types investigated in its principles, and applied to the explanation of the earlier revelations of God, considered as preparatory exhibitions of the leading truths of the Gospel