OK, this is probably closer to where this should be. I ended up using a low-powered second sun (strength 0.08), positioned opposite the "real" sun and with everything but surface illumination disabled, to boost the shadows. Not a big fan of this in theory but here it means much smaller moves in Lightroom are needed to get the result I want.