I had sort of the same problem when jumping into Cranelift work -- this stuff is really not well-documented outside of the code itself. Happy to hear you found the posts useful!