Replace `bind` by `augment` with overwriting semantics.
Split the concepts into several headers.