Function enter_description 

pub fn enter_description<T: Timestamp, TInner: Refines<T> + Lattice>(
    desc: &Description<T>,
) -> Description<TInner>

Converts a description of outer times to one of inner times.