Reduce implicit elaboration code of System.Native_Encoding.Encoding_Streams