Toy structurally typed compile-to-javascript language