Add System.Native_Encoding.Min_Size_In_Stream_Elements and Min_Size_In_From_Stream_Elements