refactor: use TypeFixtureFactory

instead of NotSupportedFixtureFactory in DefaultTheoremAttribute.
refactor: use TypeFixtureFactory

instead of NotSupportedFixtureFactory in
DefaultFirstClassTheoremAttribute.
refactor: delete unused NotSupportedFixtureFactory.
build(DEPLOYMENT): intrement patch version,

to indicate that deleting NotSupportedFixtureFactory is a fix.