If I understood your proposal correctly, it's just about dynamically *replacing* the built-in types (with their respective syntax) with some type of your own.

FWIW, there is an interesting type replacement recipe on the bottom of the page at: http://docs.python.org/lib/module-tokenize.html Raymond