Compiler.py

This code now generates an extended XML code for identifiers.