Member predicate Finitize::Type::toString

Redefine toString() so that the bindingset[this] is removed.

This is required, for instance, to declare Instance<Finitize<string, test/1>::Type>.