The code given in this file is merely a collection of constructors and accessors for the abstract rules given in AbstrSyn.pco. In order to understand the how-and-why of this tree-ADT, we refer to AbstrSyn.pco.