added changes to PseudoC as outlined in July 16 2014 e-mail from mstrout to kreaseck.  No translations to Hol4 as yet.