See discussion in #425, #431 and elsewhere. We need to choose what annotation signifies the comparison selector.