JSON4 proposal