Traces, pro and Stress Shift in Brazilian Portuguese