avoid using auto-generated names in many places

theories/array_based_queuing_lock/abql.v

theories/hocap/fg_bag.v

theories/lecture_notes/bag.v

theories/lecture_notes/lists.v

theories/lecture_notes/recursion_through_the_store.v

theories/logatom/herlihy_wing_queue/hwq.v

theories/logatom/snapshot/atomic_snapshot.v

theories/logatom/treiber2.v

theories/logrel/F_mu_ref_conc/lang.v

theories/spanning_tree/graph.v

theories/spanning_tree/mon.v