In general, I dislike the stateful nature of LaTeX. There are many commands that change some variable at some point in the document, which might have ramificati

In general, I dislike the stateful nature of LaTeX. There are many commands that change some variable at some point in the document, which might have ramifications way later, with no easy way to trace it back to the original command. Some kind of consistent, closed, scoping would greatly benefit many areas of LaTeX in my opinion.