I believe Ed Kmett is working on a language while at MIRI. Probably not specifically AI safety focused, he was working on it before he joined. But maybe worth looking into. I’m not sure if there’s much public info about it.
Here’s a public github for coda, the language he’s been working on, with a bit written about it.