C: remember how part expressions where constructed.
C: backward propagation of the type.