Amazingly, there were still Wrong Things in the arity analysis, 
exposed by my fiddling with eta expansion.

I simplified the code, clarified the comments, added more examples,
and tidied it all up.  I hope it's better this time.