Which of the following statements apply to (static) type safety in programming languages? A. Type information is not needed at run time B. Every program that passes the compile-time type check is guaranteed to be free of run-time type errors C. Type information can be implicit and/or explicit D. Type information is always checked at run time