Comment by CrimsonCape

Agreed. Type systems are nearly always "temporal" yet are too simply designed to address that.

"Temporal" to mean that at any given slice of time during a running application all objects have a signature that matches a type.

Yet most programming languages only allow compile-time analysis and "runtime" is treated as monolithic "we can't know at this point anything about types"