Hand-operated tools and implements for treatment of materials, and for construction, repair, and maintenance, all being in the nature of sharpening stones, files, and manually-operated grindstones