Displays the list of all defrules in the specified module (or the current module if none specified).
(list-defrules [<module-name>])