`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.
