Remove redundant casts

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

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

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

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

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

src/main/java/de/tla2bAst/BAstCreator.java