Updated plan.tex to reflect the addition of reader/writer locks