That sounds like a more laudably concise version of what I just suggested20A socket circuit and the cooker over to the RCD and then an RCBO on the lights and the other socket circuit. Job done. About £50’s worth of materials for two RCBOs
Kind Regards, John