Regarding data types and type checking, which of these are true statements? $($select all correct$)$

Question $6$ options:

Strongly typed languages detect type errors, that detection can come from dynamic $($run$-$time$)$ or static $($compile$-$time$)$ type checking.

Dynamic type checking provides for programmer flexibility, and is therefore preferred over static checks.

Only objects from classes in high$-$level languages should be labeled abstract data types.

Generally data types are categorized into primitives, composites, and more complex user$-$defined structures $($often called abstract$).$