Title: A Discourse concerning types in the law, and the application of them in the Gospel