- LA-lemmata (sadly not fully debugged), - CC-lemmata (debugged, correct on all my benchmarks, more complicated tests are to come), - debug-map, - a hint of shortening, - many intern-cases, - extention of calculateTerm (Relations+bug-fix), - few helper-functions