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