ClassIDs are now actually typeinfo name pointers.

I'll see, next, about the `instanceOf` thing, and going with
more normal RTTI routes.

dw/widget.hh

@@ -458,7 +458,7 @@ private:
 
 
 public:
-   static int CLASS_ID;
+   static std::intptr_t CLASS_ID;
 
    inline static void setAdjustMinWidth (bool adjustMinWidth)
    { Widget::adjustMinWidth = adjustMinWidth; }