Document the type requirements for storage into containers

For example, `Tuple` should document that it requires its elements to be `MoveConstructible`. Or does it really require that?

Start with the Tuple entry point and determine whether its stored elements must be MoveConstructible. Review the container implementations and existing requirements documentation, then document the verified type requirements for Tuple and the other storage containers.

Written by the indexing model from the issue text.