improving on converters of classes reifying Java types