Added an option to the C++ printer to print the local as opposed to the globally qualified name. Implemented the printing of template specialisations