switch to the more sensible notation of the "outline" paper
steinberg functor/stack definition
notation for the various versions