add permuteq goal for permutation equality
commutativity uses permuteq, not seteq
permuteq in __init__