. "It is, therefore, antecedently probable that in another series of texts, e.g. Romans 5:14, in which a type is a person or thing prefiguring a future person or thing, the connection between the two terms is intended by him who foresees and arranges the course of history." . . . .