We overloaded Base.repr as part of an effort to document theories. However the @op macro is instead rendered as a LineNumberNode in the docstring. It's desirable to have all content defined in the body of a theory be represented in the docstring.
