refactor(library/hott): remove unnecessary generalizations