You could do something similar by having each primitive type share a global prototype á la Lua's "string" metatable. Most operations are implemented as primitiv

You could do something similar by having each primitive type share a global prototype á la Lua's "string" metatable. Most operations are implemented as primitives in the VM, but any non-primitive operations on primitive types go to the type's metatable.