rhine-0.5.1.0: Functional Reactive Programming with type-level clocks