Synchronous Programming of Reactive