Christian instruction in the history, types, and prophecies of the Old Testament