none of the others.. They are all rules for something else.

each entity has a type associated with it

the rules for strong typing may have exceptions

the type of each entity is known at compile time

type errors are always detected at some point