Rename header and trace-header definition constant dictionaries to be more documentary, and in upper case.