added coords to element, so every Part of the proof got coords. Changed all Exceptions related to elements to print its coords to the message. Maybe do the same for Trees?

Added separator after function Trees (optional for classic Trees), which where needed to parse the trees correctly. Addes new automatic Test for function Trees - Test is passed.

improved the grammar of function Trees, so it is possible to ignore unneeded brackets; implemented building of function Trees; WIP: Add a auto Test for function Trees and test function Trees

adjusted grammar of fTree, so only 1 nonterminal composes two fTrees. endless brackets still possible

adopted Create_And_Test_Parsers.bat to new project name; Added alternative Tree form: like functions in Haskell; works currently with classic trees; TODO: implement function trees BUG: need seperator between each function tree (like end of lemma or inductioncase)

rename project from BaumtransformationBewerter to BewerterStrukturellerInduktion; switch to .Net 6.0 from .Net 3.1