Misc 
Misc functions.

Pbword 
Naive implementation of ultimately Periodic Binary Words.

Clock_type 
Definition of clock types and subtyping constraints.

Clock_expression 
Definition of clock expressions and adaptability constraint systems.

Resolution 
Naive implementation of the resolution algorithm of adaptability
constraints.
