faster and more compact serialization of symbols and strings