Use new user-extension points to inject debug info

[frabert]

The new user-extension points allow changing the type inferred for allocas, arguments and global variables, which make it the ideal way to let debug info enrich the decompilation, similar to how we automatically infer the type for main