Basics Updated

I just pushed new versions of Basics.v and BasicsTest.v to the website. They should be downloadable now. Feel free to take an extra day or two to complete the additional exercises.