Add theory stubs