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