I'm not sure what the correct term is for name, label, which is used to reference other things in our code, maybe 'symbol'? I know this already has meaning in PureScript on the type level but I hope the definition is clear. Anything that has a name made up by the dev.

Would it be possible to make purs ide capable of renaming labels for us? Like a smart find and replace that works project-wide. Language servers call this rename.