Initial changes to support Time and symbol serialization through ext formats