Automatic sealed traits JSON format for play-json-alone