I think Lua accounted for the idea of desugaring, where PUC-Rio said that they didn't want the added complexity, but I don't think I could readily find that jus

I think Lua accounted for the idea of desugaring, where PUC-Rio said that they didn't want the added complexity, but I don't think I could readily find that justification. This is just another one of those situations where Lua is not catering to anyone by randomly catering to one group or another. No one is happy.