Functional Reactive Animation