Fix Hashtbl.modify_def -> inserted value must be [f def] not [def].
Add missing modify in some of Hashtbl.Exceptionless
Cosmetics + Add @since NEXT_RELEASE here and there
Add Map/Splay.modify_opt

Note: SplayTree is not splayed on deletion, hopefully it's correct.