added definition of lower slices, and added proposition that the lower-slice is left adjoint
added results about commuting slice functors