removed unused functions
removed productions from ParseTree
removed ParseTree unused Functions
renamed ParseTree.symbollist -> ParseTree.symbol
ParseTree stores a single symbol

Ugly code in weighted parser though
further use of single symbols in WeightedParser