started the atkey and coat construction for the category of constraints