Builtin traversers for Ppx_traverse.