Should Lightning, & Nuts/Cashu/eCash/Mints, etc. be considered "Bitcoin", or should we designate them as a separate currency?