Continuing ff9f94634 on making code and doc agree on "Set Equality Schemes"
Patch from Enrico Tassi to get Drop compatible with stm.