Support comparisons and maybe pattern-matching