Replace some occurrences of MIR by more accurate terminology.
Replace some occurrences of MIR by more accurate terminology.

clasp-developers/SICL,clasp-developers/SICL,clasp-developers/SICL,clasp-developers/SICL