More renaming to "classifying algebra" in comments.