code/modules/research/designs/protolathe/mining_designs.dm