Fixed: order in Enode types matter, has to be the same in declaring
newsymbols.