sancus.web.json: json encoding helpers