refined type system indexed by time

This type system subsumes the simple type system and the contextual
causality system. That is in addition to well-typing, this system
guarantees causality of contracts.