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