changing terminology (was: overview paper co-author invitation)

[andydude]

This is how I had envisioned the iterational terminology working:

• superfunction of F = iterational of F
  
• super-exponential = iter-exponential
  
• super-logarithm = inverse iter-exponential = Abel function of exponential
  
• super-F = iter-F
  

By using the "iter-" prefix instead of the "super-" prefix, there is no confusion with previous terminology, and we can continue using "super-logarithm" to mean what it has always meant. And to keep up with the current writings, I suppose these terms could be prefixed with mappings, like (0 -> 1) iter-cosine or something.