Thank you guys for the input, I've decided to read Bahishti Zewar. The others may be too advanced for a layman like me. I've heard that Mukhtasar al-Quduri has some mistakes that Al-Hidaya had fixed. Is this true? I wouldn't expect this from a book upon which whole courses and seminars are built on.