Implementation of the `show` tactic #

The show p tactic finds the first goal that p unifies with and brings it to the front of the goal list. If there were a first_goal combinator, it would be like first_goal change p.