Expressiveness of type systems is about which types (and thus type checks) you can express, not when the type checking occurs