found an adjunction governing my "dual" of Atkey. More structure to the
class. Merged HasAtkey and HasCoatkey into one class