TypePropagator: Bug fix. Set result type to the cast expression