Yes, but is it valuable?
The discussion on "is it really (strongly) typed" has degenerated into one of semantics and definition, and is losing sight of the original intent of my first post. So, once more unto the breach... assume what I'm saying (that Justin's library provides type information that previously was not available) has some validity : is this a valuable thing in your code?
That is the key question. Your thoughts?