chore(hott) fix the types and algebra
chore(hott) fix the types and algebra