Primitive support added for the \newtheorem environments.  See
sample3.ad for an example.