mtac2: add a temporary primitive [Mshow] for debugging purposes.
mtac2: add test file for Mgoals & Mrefine