God's own type system.

FWIW, I said that XSD was the type system handed down by God, not his own type system. I'm sure God uses set theory for his own work.