g-equivariant formulation
removing some old stuff
*-steinberg functor