dev: introduce FirstClassTheoremAttribute.