Encode arbitrary JSON properties, close #10