Was Paul a type of Christ ?