repaired name of AbstractEingabeverwalter, changed all possible errors to nondeadly in Listener_Helper and ADT_Listener, Added Tests for ADT for non deadly semantic errors

Added Error to namespace Metamodell; Added new Semantic Errors: deadly, non deadly and warning; transformed all KontexExceptions in Listener_Helper to SemanticErrors.

Now the giving of maxpt when no errors are found applies to singletasks and configured inductioncases instead of only to the whole proof

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