Is the microphone (MIC) input terminal TRS or TS? What are its polarities?

The MIC input is TRS type (balanced).

See the figure below for the polarities as seen from the front of the terminal.