Add HAX::evalManyWithin.