I'm not familiar with any of the machines you list. Here's a Youtuber doing a long term evaluation of a Singer HD44xx you might find useful:
https://www.youtube.com/playlist?lis...4JleQTtu0j3tjY
He has other videos.
Here are a couple of people I find interesting regarding vintage sewing machines:
https://www.youtube.com/@VintageSewingMachineGarage
https://www.youtube.com/@BobFowlerWorkshop
And a video I watched the other day about exactly what you're doing, looking for a first machine. I thought the presenter did a nice job breaking it down:
https://www.youtube.com/watch?v=pAtj...ist=LL&index=6
"What machine should I buy?" is a big topic ...
EDIT: Bearisgray is right on point, I love the 237. Also, for a vintage machine, most of the old 158.xxx series Kenmores have an internal pulley reduction system that increases punching power. One of my go-to machines is just such a machine and it'll easily handle multiple layers of denim. (use a denim needle). There are pitfalls to buying a vintage machine because most of the time they've been idle for years and need a good spa day (or week) to get going again. On the plus side, they're almost always salvageable and usually cheap to free.