Fix named theorems. Closes #20.
Make subsubsection headers bold.