Sphero, while the existing SDK works greatly for programming RVR/RVR+, it would increase the amount of things that you could do using RVR/RVR+ with a micro:bit, including things like projects that utilize both Makecode and Sphero Edu, or you could use the micro:bit and a small but decent ML algorithm to make a game of Tag with a player (person controlling BOLT+ using Sphero Edu) and a computer.