After two introductory chapters to the discipline of typology, Dr. Smith examines eight categories of Old Testament types.