Fixed some typos in requirements and added some text to use cases