quarryman (quarry + -man; agent_person)
A man involved in quarrying (mining for stone)