Reduce implicit elaboration code of System.Native_Encoding.Encoding_Streams
Remark
Rename System.Native_Encoding.Encoding_Streams.Encoding to Inout_Type
Add System.Native_Encoding.Encoding_Streams.In_Type and Out_Type