add more explanation for parser.y
design abstract syntax tree by using uml