[SYAC Compilers] Finished semantics for M