adding the TLA type to the prolog AST.

src/main/java/de/tla2b/TLA2B.java

src/main/java/de/tla2b/analysis/SpecAnalyser.java

src/main/java/de/tla2b/analysis/TypeChecker.java

src/main/java/de/tla2b/config/ConfigfileEvaluator.java

src/main/java/de/tla2b/old/AbstractExpressionPrinter.java

src/main/java/de/tla2b/old/BMachinePrinter.java

src/main/java/de/tla2b/old/ExpressionPrinter.java

src/main/java/de/tla2b/output/PrologPrinter.java

src/main/java/de/tla2b/output/TlaTypePrinter.java

src/main/java/de/tla2b/output/TypeVisitorInterface.java

src/main/java/de/tla2b/translation/BDefinitionsFinder.java

src/main/java/de/tla2b/translation/OperationsFinder.java

...main/java/de/tla2b/translation/UsedDefinitionsFinder.java

src/main/java/de/tla2b/types/AbstractHasFollowers.java

src/main/java/de/tla2b/types/BoolType.java

src/main/java/de/tla2b/types/EnumType.java

src/main/java/de/tla2b/types/FunctionType.java

src/main/java/de/tla2b/types/IType.java

src/main/java/de/tla2b/types/IntType.java

src/main/java/de/tla2b/types/ModelValueType.java