Add arity typetrait

I'm not sure if I should expand arity to apply to tuples etc. ?