Add "witness" as a synonym of the "exists" tactic.

This allows it to be colorized properly as there is no
shared keyword between formulas and tactics.