Lots of things will have default stringifications, say, that may not always merit the contrary force of "but". Maybe "but" should be needed only when a method has already been mixed in anonymously.
Oops, that would wreck the canonical example of "0 but true". Since the Bool(Int) method already exists, "but" is indeed the appropriate choice to override it.
-David
