Higher-arity PAC learning, VC dimension and packing lemma