fix \cite so it is a true synonym of \citep, and can take optional arguments
rewriting formal.tex ...