Typology and Doctrine: A Careful Response to Gavin Ortlund and Others