An experimental static-typed programming language which is compiles into C++