fix Papp ghost args, Elet(Lsym) and some other fixes

* range types (though most of the time they should be mapped at the driver
level instead of extracting their declarations)
* Dmodule (whyml scope {}) extraction
* fix nested `let`, (let a = let b = 1 in b in ..)