checking module TestOpers circular definitions: A B checking module TestOperTypes circular definitions: A T