Rename "head step"?
At some point there was a discussion on Mattermost about people objecting to the term "head step" that we use in our HeapLang operational semantics. I think there were proposals for others names, but I forgot if there was any consensus.