Support for integer propagation and C++ member calls

This version introduces support for integer propagation based on the existing propagation infrastructure, and it also introduces a new collector that find uses of C++ member calls given a fully-qualified class name and the member name.