Expunged some more hlevels.
Added statement that fiberwise properties are stable under pullback.