Oh no - can't they just integrate M instead? It's a great (skeleton of a) language with a similar basis but far nicer to write.