- changed the ordering relation used on symbols...
- changed the ordering relation used on symbols...

- changed the ordering relation used on symbols, to improve
(dramatically) the balance of the trees


slothspot/scala,jvican/scala,shimib/scala,slothspot/scala,martijnhoekstra/scala,felixmulder/scala,felixmulder/scala,felixmulder/scala,lrytz/scala,scala/scala,jvican/scala,lrytz/scala,martijnhoekstra/scala,jvican/scala,lrytz/scala,scala/scala,slothspot/scala,lrytz/scala,martijnhoekstra/scala,shimib/scala,slothspot/scala,lrytz/scala,jvican/scala,felixmulder/scala,slothspot/scala,jvican/scala,felixmulder/scala,scala/scala,shimib/scala,shimib/scala,felixmulder/scala,martijnhoekstra/scala,scala/scala,slothspot/scala,martijnhoekstra/scala,jvican/scala,felixmulder/scala,slothspot/scala,scala/scala,scala/scala,jvican/scala,lrytz/scala,shimib/scala,martijnhoekstra/scala,shimib/scala