Added a TreeToFormulaConfig and TreeToFormulaInst data type. Moved some properties from SynTreeConfig to TreeToFormulaConfig and added extraText to all config types consisting of a syntaxTreeConfig. As discussed in #79.
I am going to update this pull request after #78 gets merged into master.
Added a
TreeToFormulaConfigandTreeToFormulaInstdata type. Moved some properties fromSynTreeConfigtoTreeToFormulaConfigand addedextraTextto all config types consisting of asyntaxTreeConfig. As discussed in #79.I am going to update this pull request after #78 gets merged into master.