Adding types for eamsden's push-based FRP stuff to see what Fay does in JavaScript.