From Financial Intermediation to Protocol Design: Re-Coding the Functions of Credit Markets in DeFi | Synapse