Reverse maps a path to the corresponding sequence of atoms in reverse order.
Reverse: <> == <$x> == <> $x. Reverse:<a b c> = c b a.
