DO NOT MERGE Incremental inliner

**Do not merge this PR yet**, it is obviously in a very rough state.

But now the algorithm should be complete enough that things won't change much anymore, except cleanups. So I'm posting it for the eager interested reader.
Yes, but that wouldn't be right, because there could be as many additions as deletions, and then the sizes would be the same but the sets would still be different.