Refactoring

build.gradle

src/main/java/de/tlc4b/MP.java

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

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

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

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

...ava/de/tlc4b/analysis/typerestriction/TypeRestrictor.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/resources/standardModules/BBuiltIns.tla

src/main/resources/standardModules/ExternalFunctions.tla

src/main/resources/standardModules/SequencesAsRelations.tla