Sound of Functional Reactive Programming