@katzenmann you can also use mutter from other languages, elementary OS does that. But yeah I guess if you want system programming languages, you listed all already.