started generalized Kan extensions and a CCC for Constraint