Does Bitcoin count as DeFi? More voices than in the past are saying it should. What might be needed is a redefining of the buzzword.