Removing Spec1; some more fixes.
Finally, renaming Spec2 -> Spec2. Closes #11.