Updating README given that there is no more al_constraintsByEnumerating...