Or Koch, Johann, a Dutch divine, professor at Leyden; held that the Old Testament was a type or foreshadow of the New, and was the founder of the federal theology, or the doctrine that God entered into a threefold compact with man, first prior to the law, second under the law, and third under grace (1603-1669).