The mechanician, a treatise on the construction and manipulation of tools