Mine-wagon pushers and locomotive or wagon traversers