Add partial xml-types Arbitrary implementation, and some simple tests