Describir: Rigid Cohomology over Laurent Series Fields