wrote some comments on AST.hs