add mmt syntax in mmix