Perform unification for naturals via Maude
Small changes in example theories for usersorts