Write down some todos and ruminations about serialization.
symbol_set: implement serialization.