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?