. . "We can draw the lines a bit tighter if we say a type is a person or thing prefiguring a future person or thing; or a figure or example of something future and more or less prophetic called the antitype." . . .