Have you considered P? It feels like a good abstraction for engineers as it's "proper" code.

https://github.com/p-org/P