Returns the module in which the specified definstance is defined.
(definstances-module <definstances-name>)