@hanna-kruppe Yeah, I agree that this part of the design could definitely be improved. To add an even worse strawman: unconst? 
@eddyb I really did not expect to have to talk much about the issues with non-determinism here, and wanted to focus on other aspects. I guess that’s what I get.^^ I added a link to your post, thanks.