completed PseudoCtoHol4 translation to current PseudoCtoC translation status.  Added some comparison operator functions to hol/pseudoc/PseudoCScript.sml