Util.list_foldi
functorial implementation of Precedence, more generic and simpler
updated Ordering to use the new Precedence interface
small fix to Precedence
more accurate printing of precedence (print status of symbols)
few fixes in ordering
merge from dev