>>I want to eventually port this to Arduino

The MicroPython(a python version for microcontrollers) guys are paid by the european space agency(ESA) to create a version that runs on a satellite. I think your "tag" idea for what needs garbage collection could really help them make python time deterministic(and more memory stable) which is great for a satellite and crucial for mcu's. Same for other ideas.

So i think they would appreciate talking with you about that ideas, since your languages share many similar goals.