Module contents command now simplifies the output types

Small change so that the emacs command "Module contents" now simplifies the types it displays. The C-u prefixes seems to work similarly to goal and context command. I'm not an ELisp hacker.