Rethink `hir-def` and `hir-expand`

[Veykril]

#17936 shows that some macros can in fact depend on the module hierarchy (in fact, include does too but we managed to get around that by luck it seems), so while the split makes sense, something here feels wrong.