de graca.Tipo e antitipoOriginalmente, o termo grego typos designava o prototipo para cunhar, por exemplo, um selo. A interpretacao tipologica usa esse vocabulo muito significativo para interpretar a historia do Antigo Testamento. Essa forma de interpretar era usada no Antigo Testamento: entendia fatos da antiga historia da eleicao de Israel como anunciacao da intervencao de Deus para consumar sua obra salvifica. Por exemplo, em Isaias 43:19 e 19 o primeiro exodo prenuncia o segundo, mais glorioso; em 2 Samuel 7:12 e Isaias 11:1, Davi e prenuncio do Rei salvador da estirpe de Davi; e em Deuteronomio 18:18, Moises prenuncia o profeta do tempo da consumacao.Em 1 Corintios 10:11, Paulo introduz a palavra com a qual descreve a relacao entre o que ocorre no Antigo Testamento e o que ocorre no Novo Testamento: Os acontecimentos dos antepassados israelitas no deserto sao typicos (exemplos) e foram relatados para advertencia nossa, de nos outros sobre quem os fins dos seculos tem chegado.Em todas as interpretacoes tipologicas de Paulo, personagens, instituicoes e acontecimentos do Antigo Testamento sao typoi (exemplos promissores) do tempo da graca, de Cristo e sua Igreja. Em Romanos 5:14, Paulo se refere a Adao como typos (= figura) de Cristo. O primeiro Adao e uma prenunciacao antitetica do segundo Adao, Cristo, o antitipo no qual a humanidade tem um novo comeco.Em Colossenses 2:17, o apostolo ve as prescricoes da lei como sombra das coisas que haveriam de vir. Desse modo, ressalta a superacao positiva ou antitetica do tipo pelo antitipo, isto e, a superacao do que havia no Antigo Testamento pelo que ha no Novo Testamento. Resumindo: o termo tipo e usado por Paulo como "figura" (ou "prefiguracao"), "exemplo" ou "sombra" do que ocorre no Novo Testamento.Segundo Leonhardt Goppelt, na interpretacao tipologica de Paulo se nos depara uma visao nova da estrutura do Antigo Testamento bem como de sua relacao com Cristo. Ela corresponde aos principios postos pela pregacao e pelo caminho de Jesus, devendo, portanto, ser diretriz para a Igreja, ainda que raras vezes tenha sido objeto de atencao explicita da teologia.Tipos:1. Sao personagens, instituicoes ou eventos do Antigo Testamento.2. Sao acontecimentos de promessa.3. Expressam o carater provisorio e incompleto da antiga alianca.Antitipos:1. Jesus Cristo e sua Igreja sao os antitipos que cumprem os tipos do Antigo Testamento.2. Sao acontecimentos de cumprimento de promessa.3. Expressam superacao do que havia na antiga alianca. Na nova alianca veio o que e novo, completo e definitivo prometido por Deus.* * * ExemplosComecemos lembrando os exemplos ja mencionados de Paulo: a tipologia Adao-Cristo (Romanos 5:12-21, ver tambem 1 Corintios 15:21, 44-49), que abrange toda a historia da humanidade; a tipologia Abraao-Cristo (Romanos 4:1-25 e Galatas 3:6-18), que aclara a historia da eleicao; e a tipologia da migracao (1 Corintios 10:1-11), na qual a migracao do povo hebreu pelo deserto pode servir para rechacar uma interpretacao equivocada dos sacramentos e para elucidar suas implicacoes eticas.Vejamos alguns exemplos tomados de outros documentos do Novo Testamento.A tipologia cordeiro-Jesus, mais comum nos evangelhos, torna todo o sistema sacrificial do Antigo Testamento em prefiguracao da obra salvifica de Cristo. Lembremos a