(atomic macro) repeatedly apply promote, if possible
This command is exactly like ACL2-pc::pro except that it ``succeeds'' even when no promotion is possible (e.g. if the current goal does not contain an implication).
