Types, (in Scripture)
A biblical person, thing, action, or event that foreshadows new truths, new actions, or new events. In the Old Testament, Melchizedek and Jonah are types of Jesus Christ. A likeness must exist between the type and the archetype, but the latter is always greater. Both are independent of each other. God’s call for the return of the Israelites from Pharaoh’s bondage typifies the return of Jesus Christ from his flight into Egypt. In the New Testament the destruction of Jerusalem, foretold by Christ, was the antitype of the end of the world.
[Hardon, John. Catholic Dictionary: An Abridged and Updated Edition of Modern Catholic Dictionary (p. 512). The Doubleday Religious Publishing Group. Kindle Edition].