Provide const_double alias for class_double.

References #391.

@myronmarston this seemed the simplest solution. Is there any behaviour you'd expect to be different? How do you feel about `const_double` instead of `object_double`? I felt like it was a more accurate name, sitting alongside `class`.