Programmable Money, Welfare State, and the Legal Construction of CBDC