more expressive Symbol.pp_debug; new assertion
debug stuff in Precedence
bugfix in Ordering: update comparison function altogether with precedence
merge bugfix from master