Documentation update
Refactoring and documentation of the translation compiler pass