Document objects, row polymorphism and constraints

For example a document explaining these would be useful

type userLike<'a> = {.."name": string} as 'a

let extractName: userLike<_> => string = user => user["name"]

let name = extractName({"name": "John", "age": 20})
let name' = extractName({"name": "John", "age": 20, "username": "siever"})
 
let name'' = extractName({"age": 20, "username": "siever"}) // type error shuold have "name" field

type user = {"name": string}
let user = {"name": "John"}

type userWithAge = {"name": string, "age": int}

let userWithAge = {"name": "John", "age": 21}

// Printing name for a type with subtypes
[user, (userWithAge :> user)]
    ->Array.map(user => user["name"])
    ->Array.forEach(Js.log)

Start from the issue's two ReScript examples and identify how the documentation currently covers document objects, row polymorphism, constraints, and subtype-like records. Explain the successful cases and the expected type error for the missing name field, with examples that make the behavior and completion criteria clear.