Describir: Discrete-Time Smoothing