escape meta-characters like '\n' in the depiction of counterexamples, add retranslation of LambdaId type information

fix the retranslation of negative BigInts, improve the retranslation of Floats and Units, show an information message, if the counterexample contains wildcards

change type to uninterpreted for #ext
only add #ext field in Transformation as at all other places we should have concrete instances of extensible records

added Records2IDs test

--only=name to run only the tests named name
--from=name to run all  tests after and including the first test named name
--till=name to run only tests priot and excluding the first test named name

from and till can be used together but only can not be combined with either from nor till

add depiction of signature in function interpretations, show Result type without module, change some internal names, improve code

added  ore infromation to warning

added debug output but shouln't be a warning as some legit use cases exist
even one in the sudoku example

doing nothing about _lV is the correct behaviour