Implemented the 'Amb' operator

Hi, this PR implemented the `Amb` operator #22. I used varargs to support the array version and first-second version in one method. So in my PR, there are only two variants.