Symbolism and Freedom: The Use of Biblical Typology as an Argument for Religious Toleration in 17th Century England and America