Gen 22 - Type And Antitype - Offering Isaac

In Genesis 22:8 Abraham said to Isaac “My son, God will provide himself a lamb for a burnt offering.” Isn’t that such an amazingly wonderful statement because it also describes how God himself would eventually provide the ultimate / effectual sacrifice for us? I like how Louis Berkhof put it: “God might have demanded a personal atonement of the sinner, but the latter would not have been able to render it.”Verse 13 says Abraham “offered him (the ram) up for a burnt offering in the stead of his son.” Doesn’t “in the stead of” mean “in place of” or “substituting for”? My friend and brother Maurice Barnett agreed in Gospel Truths (June 2012) – “Certainly, the ram was killed on the altar in the place of Isaac because the text says so.” Believers have always taught correctly that this story of Abraham and Isaac is a type pointing to Jesus’ sacrifice (John 1:29, Isaiah 53:5-7, I Pet 1:18-19, Rev 14:4, etc.). Surely we’re not going to backtrack now?Conclusion: The ram dying in the place of Isaac is a type of Christ - therefore Christ died in place of us. See the proof?