Merged changes to symbolic expression encoding related to refactoring text-based export formats for symbolic expression trees. #1152 #1270 #1314