A Summary Exposition of the Internal Sense of the Prophetical Books of the Word of the Old Testament: And Also of the Psalms of David. with a Twofold Index