Papers from mailing2014-05.

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