Provide non-deterministic choice that fails only if all fails (Closes #1)
Make 'choice' an alias for 'nondeterministicChoice'