refactor: rename non-public member and type names.
refactor: slightly improve BaseTheoremAttribute.