Hi,

This patch makes some minor improvements to the feature/native-comp
branch, including renaming a few symbols, improving the usability of
some commands, improving some docstrings, and a few minor refactorings.
None of the compilation code is touched, only the UI and logging.
Andrea has approved this patch, and it's presented here for further
discussion before merging.

Thanks,
Adam