Add goals, references and comments to tree.rkt