Round-trip all XSD types without semanic lossiness