convert from BabyJSON format to plain-old-JSON format