Add Random Provider, Corpus, Solution Corpus, and State

This may sound like a lot of components, but for simple and even somewhat advanced cases, we can use the provided default implementations for all of these components.