Most MicroPython modules that implement subsets of standard Python modules start with "u". There are a few that still don't follow this pattern:

• builtins
• gc
• cmath
• math
• _thread
• termios

It would be nice to change these as well. My motivation is to be able to use Python tools (like code completion in an IDE) with MicroPython. Many of these tools require actually importing modules, so it breaks things if we have module that have the same name as standard library modules.

Any objections? Did I miss any?