Made some relevant changes to headers to AST and Printer files. Added back David Dill's name which was inadvertently removed.