minor refactor in PseudoC.hs, plus beginnings of PseudoCtoHol4 translation