Talk about the HIR: - [ ] how it is structured, - [x] how to dump it and inspect it, - [x] the code that creates it (#148) - [x] the HIR map