refactor: rename to DefaultFirstClassTheoremAttribute.

NaiveFirstClassTheoremAttribute -> DefaultFirstClassTheoremAttribute
refactor: rename to DefaultTheoremAttribute

NaiveTheoremAttribute -> DefaultTheoremAttribute
refactor: rename to Default in scenario tests.
Merge pull request #25 from jwChung/rename-to-default

Rename naive to default