Yes, those are good lenses. Whether to get AF versions of any primes is a matter between you and your banker, eh? But let me tell of my experiences. When I got my K20D over 3 years ago, my initial kit was: DA10-17 (the lens that drove me to Pentax); DA18-250; FA50/1.4. Since then I've acquired a couple hundred more lenses, mostly cheap old manual primes. (And I bought and sold over 100 more to help pay for the keepers.) This led me to write [
https://www.pentaxforums.com/forums/pentax-lens-articles/59245-pawnshop-lense...ers-guide.html ].
I have this opinion on fast primes: The FA50/1.4 is just about indispensable. It's my only AF prime. You'll see arguments about its image quality vs the A50/1.7 and the much costlier DA*50/1.4 and others, but such differences are mostly minor. And the FA50/1.4 can just DO more than most other lenses in its range. I now have 50 Fifty's, from the superb ultrafast K50/1.2 to the cheap legendary Helios-44 58/2 and the supersharp Macro Takumar 50/4 -- and I love getting great Fifty's cheap! Each one has a different taste, a slightly different way to look at the world. But IMHO the FA50/1.4 is THE place to start.
NOTE: Of my currently ~215 lenses, just 10 are AF. Those cost an average of US$285 each. The other 205 lenses are all manual and cost an average of US$20 each. My AF price premium was US$265 per lens. Ouch.
To start with macro, I got a Raynox DCR-250, then a couple other manual macro lenses, and lots more cheap macro stuff; and recently I wrote [
https://www.pentaxforums.com/forums/pentax-lens-articles/152336-cheap-macro-b...lose-work.html ]. My opinion on macros: What we call 'macro' lenses are often very sharp general-purpose lenses that focus close. Shooting macro, AF is not your friend. If you want a short tele for portraits and bug work, you don't need AF. If you want a general-purpose lens, then go for AF. But if you really want to shoot macro cheap, read the article. I favor cheap enlarger lenses on small bellows.
I looked for other faster primes at useful focal lengths, much faster than zooms there. So I've acquired 24/2 and 28/2 and 35/2 and 50/1.2 and 58/2 and 85/2 and 105/2.5 and 135/2.5. Now I'm hooked on cheaper slower primes with character (and often very good sharpness): 21/3.8, 25/3.5, 35/4.5, 50/4, 100/4.5, 200/5.6, etc. And more keep rolling in!
Back to your question: The Vivitar 105/2.5 macro, YES. The A50/1.7... I'd recommend the FA50/1.4 instead. Then look for something fast around 28-31mm, the ideal 'normal' focal length. And then you'll want to go wider... but we have many threads here on ultrawide lenses, so read those for ideas and suggestions. Have fun!