move defaultModuleName to UserPrelude.Defaults
drop more obsolete modules.