Inductive definition of combs and contexts

Tags: Combs, Monoidal contexts.