lower slices also lower expressions