introduce notation for value comparison
This should make all those CAS specs much easier to read.
However, if I adjust the CAS specs now I'll have to do it all again once !274 (merged) lands, so this just proposes the syntax now so the bikeshed about that can start.