Start on the tactic $witness, called by default for holes of
type "wexp".