Fix calculation of type widths in presence of pointers
Propagate new objects when connecting locations