Add a static same_type_as() member function so we can compare types even when we...