I excluded 100+mm because my current go-to lenses for sharpness are in the 50-55mm range and there have been many times when I can't back up to properly frame my image, but very few times when I needed to get closer. I might be able to sacrifice a tiny bit more range for sharpness, but nothing more than 85mm. As I said before, 35 would work better than 85. As for my priorities, they are my own and well thought out. That they are different does not mean they are incorrect.
I read lots of good things about the 135/2 and the 100 macros, but they're too long to be practical for me. I used the 85/1.2 for a couple days once and was underwhelmed by both the focus speed and ca when wide open.
Get FF. This will solve many of your problems. Your lenses will magically become sharper.