RE: against the components utopia

Every type system I've read about deals with _right now_.  Having a type
system that allows claims to be made about a program at a certain point
in time doesn't quite fit with the real world, where we want to be able
to make the same sorts of claims _over time_, and _over version_.  

I have no idea how to do that, although I suspect that recent efforts to
generalize type systems into constraint logic can lead to
constraint-logic based dependent types that support a notion of order.