[#6699] make instrumentation extensible; refine mongo instrumentation