Arities as containers

Proposed by @eparejatobes 
Yes, that's why I offered it. I was thinking that reversed `In[E]` is something like `E#Target MapOver E#OutC`.