Arities as containers

Proposed by @eparejatobes 
yes, but what do we gain from it? slower compile times, opaque error messages, etc. I don't see any advantage here.