improved the detection & translation of restricted types

src/main/java/de/tlc4b/TLC4B.java

src/main/java/de/tlc4b/TLC4BGlobals.java

src/main/java/de/tlc4b/Translator.java

src/main/java/de/tlc4b/analysis/PrecedenceCollector.java

src/main/java/de/tlc4b/analysis/Typechecker.java

src/main/java/de/tlc4b/analysis/UsedStandardModules.java

src/main/java/de/tlc4b/analysis/nodes/ElementOfNode.java

src/main/java/de/tlc4b/analysis/nodes/EqualsNode.java

src/main/java/de/tlc4b/analysis/nodes/NodeType.java

src/main/java/de/tlc4b/analysis/nodes/SubsetNode.java

...ava/de/tlc4b/analysis/typerestriction/TypeRestrictor.java

...analysis/unchangedvariables/UnchangedVariablesFinder.java

src/main/java/de/tlc4b/ltl/LTLFormulaPrinter.java

src/main/java/de/tlc4b/ltl/LTLFormulaVisitor.java

src/main/java/de/tlc4b/prettyprint/TLAPrinter.java

src/main/java/de/tlc4b/tla/Generator.java

src/main/java/de/tlc4b/tla/TLAModule.java

src/main/java/de/tlc4b/tlc/TLCOutputInfo.java

src/main/java/de/tlc4b/tlc/TLCResults.java

src/test/java/de/tlc4b/analysis/ConstantsTest.java