“Animal sacrifices are not the blood of Christ and cannot take away sin. But they do teach God’s people about penal substitutionary atonement. And they do make the people long for a more perfect sacrifice by reminding the participants of their sin, i.e., not cleansing their consciences. So then, the animal sacrifice is not the substance of the covenant of grace. It is not the sacrifice of Christ. But it reveals the sacrifice of Christ. And the people of God, combining this with other revelation in other types and shadows trusted in a sacrifice not-yet-offered for them, and enjoyed its conscience-cleansing benefits through the animal sacrifices but not by the animal sacrifices. These verses were what convinced John Owen that the old covenant was not the new covenant, in substance. A covenant that does not take away sins is not the covenant of grace, however much it subserves the covenant of grace.
Furthermore, not only are types not antitypes, but types had their own particular meaning and function in their own original context. When ceremonially unclean, animal sacrifices really and truly restored you to holiness, an outward holiness granted by the old covenant. To skip this initial meaning of a type and jump straight to the revealed antitype is to flatten out typology and transform the old covenant into the new in an unbiblical way. When typology is flattened into outward differences alone, accidental difference, it paves the way for the importation of old covenant practices and details into the new, such as the use of circumcision to justify paedobaptistm. The new is merely the old renewed.”
~ Sam Renihan
You can find the full article by clicking the link below.
https://pettyfrance.wordpress.com/2018/02/16/we-all-have-our-types/