Set: pp::colors
  Set: pp::unicode
  Assumed: i
i = 0 : Bool
  Set: lean::pp::coercion
i = (nat_to_int 0) : Bool