Hi! A couple of days ago, I uploaded my LaTeX package, SemanTeX, to CTAN, see
ctan.org/pkg/semantex. Its aim is to provide a more semantic and object-oriented approach to typing mathematics. Any comments, ideas, and suggestions are welcome! (You are also more than welcome to tell me that you think the idea of the package is stupid and that it fixes something that isn’t broken, or that it is too large and will make the document run too slow.)