Module interface refinement.