Just finished Volume 1 of Calvin's commentary on Genesis (Eerdman's 1948). Very much enjoyed it. While I admire Calvin's restraint in not seeing everything as a type, I'm surprised that he has almost no mention of any typology at all. Yes, typology can be overdone, but almost no mention, especially Genesis 22 and Abraham's willing sacrifice of Isaac? Is there a specific reason for this? Not intended as a criticism, just wondering about it.