types: removed private destructor to quiet a GCC warning.  types isn't actually instantiated anywhere
types: removed private destructor to quiet a GCC warning.  types isn't actually instantiated anywhere

draekko/arabica,draekko/arabica,draekko/arabica,draekko/arabica,draekko/arabica