Rename `Mock` to `Double` in class names, etc.

We've already removed `mock` as an alias for `double`,
might as well make class names and descriptions consistent.