Intruder rules for natural numbers
Export function symbols for natural numbers
Show when nat builtin is enabled
Add degenerate case for iterated function application for maude
Normal form checking for iterated function application
More function symbols for natural numbers
Add case distinctions for natural numbers builtin