refactored project

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

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

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

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

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

.../analysis/unchangedvariables/AssignedVariablesFinder.java

...analysis/unchangedvariables/UnchangedVariablesFinder.java

src/main/java/de/tlc4b/btypes/BType.java

src/main/java/de/tlc4b/btypes/BoolType.java

src/main/java/de/tlc4b/btypes/EnumeratedSetElement.java

src/main/java/de/tlc4b/btypes/FunctionType.java

src/main/java/de/tlc4b/btypes/ITypeConstants.java

src/main/java/de/tlc4b/btypes/IntegerOrSetOfPairType.java

src/main/java/de/tlc4b/btypes/IntegerOrSetType.java

src/main/java/de/tlc4b/btypes/IntegerType.java

src/main/java/de/tlc4b/btypes/PairType.java

src/main/java/de/tlc4b/btypes/SetType.java

src/main/java/de/tlc4b/btypes/StringType.java

src/main/java/de/tlc4b/btypes/StructType.java

src/main/java/de/tlc4b/btypes/UntypedType.java