output of labelled rules
instance Ord Nat
nicer output of precedence