Code-intelligence improvements: call-edge return-usage, per-function CFG reaching-defs, affected-by re-resolution, contract bridges, in-process type resolvers#83