Added a new example that demonstrates the expressive power of quantification

I have also renamed the project from "spear" to "SpeAR".
After merging, the project will likely have to be re-imported into eclipse.