documents
stdlib/polyRecord.ml and (..x) and (..x<-)
merge with poly_record