Improve System.Native_Encoding.Encoding_Streams and fix some bugs