Don't only update the scHoleInferContext, also scStructureInferState
Sugar.Types: Lensify HoleInferred