christ and typology