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

The MIC input is TRS (balanced).

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