Not an expert, but my understanding is that HTM basically implements the fast path: you still need a fully fledged STM implementation as a fallback in case of interference, or even in the uncontended case if the working set doesn't fit in L1 (because of way collision for example) and the HTM always fails.

I'm no expert either, but maybe some other hardware feature would be more helpful to STMs than hardware TM is.