Have you ever looked at a category theory or differential geometry paper? It just doesn’t feel like you appreciate what people are up against.
Look at this thing: https://images.app.goo.gl/4WHN9Pqupxkk8Z3j7
And that’s before you get into stuff like categories of spans, etc.
LuaTeX already lets you embed Lua code and it is really good.
However, I do agree some usability improvements are needed.