Inversion of CSL types