“an historical study of the three main types of the idea of atonement”