Operations on reflected variables

The 6 comparison operations < <= > >= == != can be defined in terms of < and ==.