Add new `covering` keyword