Fehler in der Typechecker.java weil die Methode caseAVariablesDefinitionAst und die Methode für die unaeren Plus und Minus nicht überschriebenw erden können, Ausserdem ist die Methode apply in Adeclarations (die von Sable selber generiert wurde) fehlerhaft.