Added `choice` generator and corresponding API docs