So the micro's are pin compatible with the Nano?
I looked at the micro pin chart and still not sure what it would take to get it to run with say, grbl. But that controller would be a big step up. It will be limited by the board. A pretty good choice if you can get a firmware on it. And with your updated board it will be a strong combo.
The F303K8 is the better choice at 72MHz with 64KB flash and 16KB SRAM better SRAM than the Mega. The F031K6 is at 48MHz but only 32KB Flash, same as the Nano, but it does have 4KB SRAM so more SRAM than the Nano.
They have limited pin count just like the Nano but the F303K8 has the resources and speed for future work. And not a bad price either. Great find!