Enforce CompositeHigherLayer interface; update doc