Hi Igor,
There is a thread in the groups section where I recently posted documented the astro performance of the Sigma 35mm F1.4:
The Great Astro Lens Test - Astrophotography - PentaxForums.com
In short, I think its the best option for wide field astro on Pentax cameras. I don't think lacking WR is an issue, if its raining, you won't be shooting an astro hahaha
As for the DFA 50mm f1.4, its not particularly good at astro, nor is the recent DFA 85mm unfortunately. Based on my other tests in the thread linked, I'd suggest a film era 50mm f1.4 instead.
Given you mentioned other camera brands, the gold standard for wide field astro on a DSLR is the Sigma 40mm f1.4 ART, however its not available in Pentax mount. If you can go to any camera system, the Sony 24mm GM, 35mm GM and 20mm G are all amazing for wide field astro.
In the 100-150 range on Pentax, the best option is the Samyang 135 f2. Nothing else is even close.
I'll let other people comment on the long lens options, but I assume that the best budget option would be a small telescope (~300mm), and utilise a smaller sensor to get the field of view you need.
Finally, whilst astrotracer is a great function to use when shooting the night sky, I wouldn't be planning on using pixel shift for astro photography. You can achieve an equivalent or better result by just manually stacking multiple normal exposures, with the added benefit of some dithering due to small tracking errors depending on your setup
Either way, good luck, please post your results as you go along for everyone to see!