add xml comments to serialization.fs