ExplicitlyTypedQ[sequence_]⟹typed:BooleanP
returns true if a sequence is explicitly typed.
Returns True if a sequence does not have an explicitly associated type:
Returns False if a sequence does not have an explicitly associated type:
Checks if a list of sequences have types: