Add note on def desugaring