Enforce Optionally Required Attributes Through Types

[harlan-zw]

Describe the feature

The type system should enforce conditional tags, i.e as being required when using preload.

Additional information

• Would you be willing to help implement this feature?