Improving soil or rock