Pre SIP: Better desugarring of extension methods

for anyone looking for the previous discussion about this, it’s at Two proposed changes for extension methods