Modeling everything is impossible.

Constraints are a slippery slope.

Some languages don't really have a type system.

But the XML Schema language from the W3C does handle a lot of requirements.

XML Schema supported concepts will be listed with a check mark: