Added an active pattern for classifying comparison results -- it'll be useful for implementing certain data structures and algorithms.