[clang] [NFC][analyzer] Introduce specialized variants of makeNode (PR #194459)

[Balázs Benics via cfe-commits]

steakhal wrote:

I had a quick look and had a couple of issues:
 - The new API does not simplify the old uses too much.
 - Binding can mean two different things: for exprs and for stores; so it is till a bit ambiguous - albeit the Expr somewhat disambiguates this.
 - The custom `insert` calls made me look harder for semantic equivalence.
 
Given that for the upcoming month (including now) I'm very busy, I think I'd rather focus my reviewer capacity on other matters. Can we revisit this later in the future?

https://github.com/llvm/llvm-project/pull/194459