Finished typesets serialization/parsing (not using Poly)