#3: fixed mining tool types to properly handle different types