Add build_tip_table().
This is a start for implementing the Type Inference Propagation feature.