A type inferred, functional reactive language that compiles to HTML, CSS, and JavaScript