Better implicit arguments on some tactics.