Implement NaiveFirstClassTheoremAttribute

Part of https://github.com/jwChung/Experimentalism/issues/19