Compensations -- Structured Communications with Concurrent Constraints -- Type Systems