Papers from mailing2013-10.

Add version of A proposal to add a generalized callable negator
released as part of mailing2013-10.