Use a standard library predicate in a spot.

compiler/type_constraints.m:
      The local predicate remove_maybe/2 is provided by the
      standard library predicate maybe_is_yes/2.