b) alternatively, can I define four (of five) key combinations, so I need
to do something really contrived to exit?
You'll find XMonad.Actions.Submap helps with this. EZConfig makes it even easier; you can bind to e.g. "M-Sh-quit<Return>" (that's mod+shift+"quit"+return key).