7. The dressing of granite or any igneous rock by masons, the crushing of such materials or substantial exposure to the dust arising from such operations.