module-local as in, creating a new type that can't be exchanged with the outside? Or converting the value's type on the fly when it gets passed somewhere else? I doubt either would be very usable.
Edit: the page refers to open classes, and I think the idea is that you can redefine methods on Object and have it apply to every object.