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