Added Comparison classes with canonize() routine that returns a
canonical zero_comparison.