Sentence:  Types are generally worked out in Old Testament times through ancient Israel, and have their <WSD>antitype</WSD> fulfillment in New Testament times through Christ and His Church. 
Meaning of the word marked with <WSD> tags:  Something that is symbolized or represented by a type, such as Christ by the Paschal Lamb; the fulfillment of a type.