Keep `transparent` modifier

[nicolasstucki]

transparent modifier must be kept after desugaring. Currently, it is impossible to know if a definition is transparent or not after it is typed.

This is a blocker for #8850 and #7825. We should also have it in TASTy for tools to access this information.