A small mostly-pure functional language that compiles to JavaScript