“In studying the types in the Old Testament, especially in the books of Exodus and Leviticus, the most difficult thing is to see how to apply these types to our daily”