Verification of desugarings using "typeof"