Tidied up superscripts in Ind functors.
Unified much of what's in the Koszul complex stuff with current notation.