Change module :module <module>
A :module <module> command changes the current module to one
given by <module>. This is the module in which evaluation takes
place and in which objects named in commands are resolved. The specified
module must be part of the current program. If no module is specified, then
the last module to be loaded is assumed. (Note that the name of the current
module is usually displayed as part of the Hugs prompt.)