A derivative of the Whiley language which compiles to JavaScript