Migrate to Rspec3.

It's like almost automatic thanks to Transpec, so why not move on!
Wait, we already have this.  I'll see if we can just drop the `type` annotations.