tidying up Nat (associativity of addition)