weaken some types

src/main/java/de/tla2b/analysis/BOperation.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/config/ModuleOverrider.java

src/main/java/de/tla2b/global/TranslationGlobals.java