convert function bodies from :,[] to HCons,HNil (use uniplate)