Add a pprTraceWith function

I've been wanting this from time to time. Basically combines being able to inspect the return value à la pprTraceIt (without auxiliary lets) with inspecting arbitrary ambient expressions à la pprTrace.