Improving exposition

Added some material to wfs.tex, trying to motivate the introduction of
double categories.