Distinction between abstract constants and constants to enable a simple back translation

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

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

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

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

src/main/java/de/tla2b/output/ASTPrettyPrinter.java

src/main/java/de/tla2b/translation/BDefinitionsFinder.java

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

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

src/test/java/de/tla2b/prettyprintb/ExceptTest.java

...test/java/de/tla2b/prettyprintb/ExtensibleRecordTest.java

src/test/java/de/tla2b/prettyprintb/FunctionTest.java

src/test/java/de/tla2b/prettyprintb/LogicOperatorsTest.java

src/test/java/de/tla2b/prettyprintb/MacroTest.java

src/test/java/de/tla2b/prettyprintb/RecordTest.java

src/test/java/de/tla2b/prettyprintb/SetsClauseTest.java

src/test/java/de/tla2b/prettyprintb/SetsTest.java

src/test/java/de/tla2b/prettyprintb/TupleTest.java

src/test/java/de/tla2b/typechecking/TupleTest.java

src/test/resources/regression/Club/Club.prob