Personally my preference would be to use just Move, as that’s the most concise possible annotation and still unambiguous. Literal[Move] would be a reasonable extension of current uses of Literal, so that would be a good choice if there’s resistance to just using Move. I don’t see much reason to introduce a new primitive with Sentinel[Move].
3 Likes