Adds TopKMonoid adds comments/deprecations