add new Function Arbitrary

and create LowPriorityArbitrary for avoid implicit conflicts