New verison

I have rewritten the proof of Prop 5.20 (Adjointness) with significant simplifications. New version on web.

The rest is unchanged (except that a few minor misprints have been corrected)

Geir