refactor: use FunLike for OuterMeasure (#12668) Also extracts trim_anti_measurableSpace
FunLike
OuterMeasure
trim_anti_measurableSpace