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