Theory Macro should accept docstrings

[jpfairbanks]

In order to document a module created by a macro, you need to put the docs after the thing you document.

@theory ThClass begin
  Ob::TYPE ⊣ []
end

@doc """    ThClass

A Class is just a Set that doesn't worry about foundations.

""" ThClass

But it would be nice to do:

@theory """    ThClass

A Class is just a Set that doesn't worry about foundations.

""" ThClass begin
  Ob::TYPE ⊣ []
end

or

@theory ThClass
@doc """    ThClass

A Class is just a Set that doesn't worry about foundations.

""" begin
  Ob::TYPE ⊣ []
end

or something like that.

[epatters]

I assume this will work like it currently does in Catlab:

"""    ThClass

A Class is just a Set that doesn't worry about foundations.

"""
@theory ThClass begin
  Ob::TYPE ⊣ []
end