Add a TheoryApprovalsRule to work with Theories