Minor refactoring
Move the definition of NEXUS into main; get rid of system
Define a new default module USER
Minor refactoring
Register definitions in NEXUS immediately
Get rid of EXPORTED; minor refactoring