Proxy now handle user-defined __eq, __lt, __le.
Only keep the slower version of shallow_copy, as the other one did not work well when cloning a proxy metatable.
Fix etype with new proxies.