More on trace maps in purely inseparable case

Also moved a lemma on finiteness of integral closure to algebra.tex
Torsion free and reflexive modules

Fun, fun, fun!
Skeleton sections on torsion free and reflexive modules on schemes
Boundedness of H^(X, O_X) in separable case

Very rough first version