refactor: rename to DefaultFirstClassTheoremAttribute.

NaiveFirstClassTheoremAttribute -> DefaultFirstClassTheoremAttribute
refactor: rename to DefaultTheoremAttribute

NaiveTheoremAttribute -> DefaultTheoremAttribute
refactor: rename to Default in scenario tests.