tunneller, drift miner, shaft sinker, tunnel driver
tunnel boring machine, tunnelling machine, roadheader
