A simple functional compile-to-js language