MIF statement and keywords

To specify the encoding that was used when writing MIF statements on Chinese and Korean systems, a MIFEncoding statement is added at the top of Chinese and Korean MIF files:

See Autonumbering for the corresponding building blocks.