Add type propagation transform.