Improved MP_SIMP_TAC. Updated cfunspace.ml so as to reflect the change.