Expanded the example Spec.hs and removed uneccesary comments.

I moved some examples from the Types.hs file and moved them into the example/Spec.hs file. I then added a few comments and made the example/Spec.hs file look nicer.