Fix externs generation
Fix test

Without these definitions the test fails when DCE is disabled
Add synonym for typeclass constraints
Desugar externs for CoreFn
Desugar exports for CoreFn