Enhance log messages

[luizademelo]

Currently, log messages are displayed when the debug flag is active, but they provide limited information. Enhancing these log messages would make debugging and performance analysis more effective. For instance, it would be helpful to include:

• The time taken by each pass (e.g., type inference, module injection).
• Detailed error messages explaining when type inference fails.

Also, we need to ensure that the enhanced logs are well-structured and easy to read.