A small strongly, statically typed language that compiles to Javascript