Fix the printing of the case tactic.

Also renamed Default/Clear to Keep/Remove to avoid collisions.
OCaml 4.2+ does not have an issue with colliding constructors, but
earlier releases do.