Arities as containers

Proposed by @eparejatobes 
Maybe it's tricky, but we could make an thing that will derive the reversed path through implicits and then require this thing implicitly for the evaluator.