Codelet.serialize() update (for #46).