Member predicate TypeTracker::step

Gets the summary that corresponds to having taken a forwards heap and/or inter-procedural step from pred to succ.