Completed about_modules. Notes on module def.