Remove definition dumpers: definitions can now cast to string directly

[mnapoli]

That allows to remove 9 classes (plus 8 test classes) and a lot of code that was not very useful at all. It has been refactored into something much simpler: definitions can be simply cast to string.

TODO:

• profiling -> no differences (which is to be expected since dumping a definition is a debugging operation only)