Remove std prefix from AST.h