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