Add alternative names for level sets.  This will make the GUI menu annoyingly longer, but
it's necessary to make the command-line version usable.  Later we'll need a better system -
support many names, but show only some in the GUI.  This will do for now.
delete obsolete function
comment-out debugging code