Types, Psalms, and Prophecies