Rename IncrementingTunnelMonoid to PromiseLinkMonoid, fix minor issues