Allow hints to be given to proof search

:ps now takes an optional list of names to be used as hints in the
proof search.