Intial work.

Support for (non-starred) theorems.