start to unify universes, algebras and structures
more hacking
nothing particular, symbols inside should be index in terms for faster
lookup and to distinguish variables (they should not be symbols)
fixed terms (made it possibly faster)
something small