Compiler: better pretty name