I have managed to disable the Mac ctrl key at last.Únfortunately, though CMD now maps to mod_1, mod_1 now maps to NumPad *. Pressing cmd+s, for example, now yields *s. Before, it would just yield s.
How do I get out of this and fix the problems once for all?