loadOptional

Loads a nullable nested spec under prefix. Returns null, so the field gets its default, when no source has any of the spec's keys; otherwise the spec loads as usual, and missing required keys are errors. Called by generated code.