I'm sure a lot of changes would need to be made, but it would be a good start, in terms of raw DSP code, already optimised for the ARM Cortex M4.
The other issue of course, is that Olivier at MI is pretty good at squeezing the last drop of performance from an MCU. It could be that some of the oscillator types from Braids, for example, wouldn't leave much in the way of processor resources left for anything else, if ported to Axo objects.
I'd still love to see some Braids oscillators, particularly, appearing in Axoloti. If I had the first idea how to start, I'd probably attempt to port the vocal-synthesis ones, and the 'supersaw' unison oscillators, the phase-distortion ones.. actually, just all of them..