If you care about turning radius and not having to hand cut / use a line trimmer, then:
1. A zero turn will turn tighter and cut closer than any other machine you're discussing. They take a bit to learn, but if you're careful what you do will do a great job. They go better on a smooth lawn, you have a tractor that you can use to make a smooth lawn.
2. A BX turns reasonably well, and actually a wider deck gives you tighter radiuses (for the same turn at the wheels, it's cutting a tighter circle 'cause the deck sticks out wider) - so the 60" deck cuts closer
3. The F turns really well. They look cumbersome, but because the rear wheels are the turning wheels, you can push the deck really close to everything. But they're a big machine, they're made for cutting commercial quantities of grass very fast. I was a bit tongue in cheek there - they're a monster and I'd really like one, but they're quite expensive and they only do one thing, unlike a tractor. (But they do that one thing really really well)
4. You have a tractor. Just modify your landscaping so that all the radiuses are appropriate to whatever you're mowing with
A BX TLB will sell really well. You don't need to move the loader and backhoe across, you just sell the machine as a going concern, and buy a B26 as a going concern. It' s a bigger and more powerful machine. And then you buy a BX just for mowing. The 1880 is the mowing only machine, but if you want to run a bagger as well you might be a bit down on HP. But you can get 2380's everywhere.
A BX isn't that much smaller than a B, but it is smaller. The size goes BX->B->LX->L->Grand L->MX->M-> keep on going.