Last maps a path to its last element if there is one, and to Fail otherwise.
Last: <> == Fail:<'Last'> <$x> == First:<Reverse>. Last:<a b c> = c.