Static Theory Editing