" ANTITYPE  (A'NTITYPE)   n.s.[   which is resembled or shadowed out by the type; that of which the type is the representation.It is a term of theology.See TYPE. When once upon the wing, he soars to an higher pitch, from the type to the antitype, to the days of the Messiah, the ascension of our Saviour, and, at length, to his kingdom and dominion over all the earth.Burnet’sTheory of the Earth. "

― Samuel Johnson , A Dictionary of the English Language (Complete and Unabridged in Two Volumes), Volume One