Refining adhier.Construct and friends