Idris looks cool. There are a few others too, but they all seem to be on the fringes. I think at the moment there are still to many tradeoffs that come with these languages for most teams to justify using them. I don't really know what it would take for people to pursue them though, it might be one of those things that we can't really make easier and they will always remain a niche. Then again, plenty of people are choosing dynamically typed languages over typed alternatives that are just as easy to work with, so it could be that people just don't care too much about these things regardless of how approachable they are.
I found this: an Idris to Erlang compiler. It looks like the idris compiler supports writing your own backend, similiar to ocaml, so it could potentially be used for 'mission-critical'
components in any language.
I'll have to look more into lisp in the context of symbolic execution, though it makes sense that anything that has to do with parsing ast will be easier with lisp.