HoXhsc2o

I want the algebraic wothiut the data types. And am still pondering how to do that; something to do with algebraic structures being overlain on things, while types underlie them, I think. I'm also thinking it might be related to some sort of conceptual fl...