Update symbols.ml according to new AST.