Library rt.restructuring.behavior.time

Time is defined as a natural number.