Arities as containers

Proposed by @eparejatobes 
also we will need something like what you propose for reversing paths; try to reverse `in[E]`