json encoder now supports proxy objects