bugfix in type handling

lang/src/main/antlr/edu/kit/iti/formal/psdbg/parser/ScriptLanguage.g4

@@ -214,4 +214,4 @@ QUESTION_MARK: '?';
 
 DIGITS : DIGIT+ ;
 fragment DIGIT : [0-9] ;
-ID : ([a-zA-Z]|'#'|'_') ([_a-zA-Z0-9] | '.' | '\\'| '#')*;
\ No newline at end of file
+ID : ([a-zA-Z]|'#'|'_') ([_a-zA-Z0-9] | '.' | '\\'| '#'|'<'|'>')*;
\ No newline at end of file

lang/src/main/java/edu/kit/iti/formal/psdbg/parser/types/TypeFacade.java

@@ -15,7 +15,8 @@ public final class TypeFacade {
         }
         if (symbol.toLowerCase().startsWith("term<") && symbol.endsWith(">")) {
             TermType tt = new TermType();
-            String n = symbol.substring(6, symbol.length() - 2);
+            //get the termtype
+            String n = symbol.substring(5, symbol.length() - 1);
             for (String term : n.split(",")) {
                 tt.getArgTypes().add(findType(term));
             }

ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/contraposition/script.kps

+script testSorts(){
+
+b:bool := true;
+i:int :='1';
+t:TERM<bool> := `1=1`;
+}
 script test123() {
   impRight;
   save 'test0' force='yes';