Separate core inlining logic from `Unfolding` type.

For !8778 (closed) this breaks a module loop, and it seems like a good idea either way.

I guess #21872 and the general modularity push is related.