Translates a given type to a JSON string. TIP: if you're building a Javascript function call by strings, toJson("your string"); will build a nicely escaped string for you of any type.