FirstClassTheoremAttribute

Closes #23