Update AST.hs