Add comparisons ard towards type-based printing